[ Reference Manual | Alphabetic Index ]

library(ic_cumulative)

Cumulative scheduling constraint library for IC   [more]

Predicates

cumulative(+StartTimes, +Durations, +Resources, ++ResourceLimit)
Cumulative constraint on specified tasks.
profile(+StartTimes, +Durations, +Resources, ?Profile)
Cumulative constraint on specified tasks.

Description

This library implements the cumulative scheduling constraint for the IC solver. It provides weaker propagation than the two edge finder libraries: ic_edge_finder and ic_edge_finder3.

About


Generated from ic_cumulative.eci on 2022-09-03 14:26