
cumulative(+StartTimes, +Durations, +Resources, +Areas, ++ResourceLimit)

   Cumulative constraint on specified tasks.

Arguments
   StartTimes          Collection of start times for tasks (integer variables or integers)
   Durations           Collection of duration for tasks (integer variables or integers)
   Resources           Collection of resource usages by tasks (integer variables or integers)
   Areas               Collection of areas covered by tasks (integer variables or integers)
   ResourceLimit       Maximum amount of resource available (integer)

Type
   library(ic_edge_finder3)

Description

   In this variant, an area (the product of duration and resource usage of
   a task) can be specified, e.g. if duration or reource usage are not
   known in advance. The edge-finder algorithm can make use of this information
   to derive bound updates.

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



See Also
   disjunctive / 2, cumulative / 4, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2, edge_finder3 : cumulative / 5, edge_finder : cumulative / 5, ic_edge_finder : cumulative / 5
