[ Reference Manual | Alphabetic Index ]library(edge_finder3)
Cubic edge-finder algorithm for disjunctive and cumulative constraints for FD
[more]
Predicates
- cumulative(+StartTimes, +Durations, +Resources, ++ResourceLimit)
- Cumulative constraint on specified tasks.
- cumulative(+StartTimes, +Durations, +Resources, +Areas, ++ResourceLimit)
- Cumulative constraint on specified tasks.
- disjunctive(+StartTimes, +Durations)
- Constrain the tasks with specified start times and durations to not overlap in time.
- disjunctive_bools(+StartTimes, +Durations, ?OrderingBools)
- Constrain the tasks with specified start times and durations to not overlap in time.
Description
This library implements the cubic edge-finder algorithm for the
disjunctive and cumulative scheduling constraints for the FD solver.
It provides the strongest propagation of the three libraries for
cumulative constraints: cumulative, edge_finder and edge_finder3.
It is also computationally the most expensive.
Note that the same predicates are implemented in both edge_finder and
edge_finder3 libraries.
About
- Author: Joachim Schimpf
- Copyright © Cisco Systems, Inc.
- Date: $Date: 2009/07/16 09:11:25 $
Generated from edge_finder3.eci on 2022-09-03 14:26