[ library(ic_edge_finder3) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
disjunctive(+StartTimes, +Durations)
Constraint the tasks with specified start times and durations do not overlap in time.
- StartTimes
- List of start times for tasks (fd variables or integers)
- Durations
- List of duration for tasks (fd variables or integers)
Description
A disjunctive scheduling constraint. StartTimes and Durations are lists
of equal length N of finite domain variable or integers. The
declarative meaning is that the N tasks with certain start times and
duration do not overlap at any point in time.