[ Reference Manual | Alphabetic Index ]library(ic_edge_finder)
Quadratic edge-finder algorithm for disjunctive and cumulative constraints for IC
  [more]
Predicates
- cumulative(+StartTimes, +Durations, +Resources, ++ResourceLimit)
- Cumulative constraint on specified tasks.
- cumulative(+StartTimes, +Durations, +Resources, +Areas, ++ResourceLimit)
- Cumulative constraint on specified tasks.
- disjunctive(+StartTimes, +Durations)
- Constrain the tasks with specified start times and durations to not overlap in time.
- disjunctive_bools(+StartTimes, +Durations, ?OrderingBools)
- Constrain the tasks with specified start times and durations to not overlap in time.
Description
    This library implements the quadratic edge-finder algorithm for the
    disjunctive and cumulative scheduling constraints for the IC solver.
    It provides stronger propagation than the ic_cumulative library, but
    weaker than the cubic ic_edge_finder3 library for cumulative
    constraints.  It is however computationally cheaper than the
    ic_edge_finder3 library.
    Note that the same predicates are implemented in both ic_edge_finder
    and ic_edge_finder3 libraries.
About
- Author: Joachim Schimpf
- Copyright © Cisco Systems, Inc.
- Date: $Date: 2009/07/16 09:11:27 $
Generated from ic_edge_finder.eci on 2023-01-01 18:11