[ library(edge_finder) | Reference Manual | Alphabetic Index ]

disjunctive(+StartTimes, +Durations)

Constrain the tasks with specified start times and durations to not overlap in time.
Collection of start times for tasks (integer variables or integers)
Collection of duration for tasks (integer variables or integers)


A disjunctive scheduling constraint. StartTimes and Durations are collections (a la collection_to_list/2) of equal size N of integer variables or integers. The declarative meaning is that the N tasks with the given start times and durations do not overlap at any point in time.

Any input variables which do not already have finite bounds will be given default bounds of -10000000 to 10000000.

See Also

disjunctive_bools / 3, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2, ic_edge_finder : disjunctive / 2, ic_edge_finder3 : disjunctive / 2, gfd : disjunctive / 2, edge_finder3 : disjunctive / 2