
disjunctive(+StartTimes, +Durations)

   Constrain the tasks with specified start times and durations to not overlap in time.

Arguments
   StartTimes          Collection of start times for tasks (integer variables or integers)
   Durations           Collection of duration for tasks (integer variables or integers)

Type
   library(ic_edge_finder3)

Description

    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, gfd : disjunctive / 2, edge_finder3 : disjunctive / 2, edge_finder : disjunctive / 2, ic_edge_finder : disjunctive / 2
