[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# library(ic_edge_finder3)

Cubic edge-finder algorithm for disjunctive and cumulative constraints for IC

## 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 cubic edge-finder algorithm for the disjunctive and cumulative scheduling constraints for the IC solver. It provides the strongest propagation of the three libraries for cumulative constraints: ic_cumulative, ic_edge_finder and ic_edge_finder3. It is also computationally the most expensive. 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: 2006/09/23 01:53:46 $

Generated from ic_edge_finder3.eci on Sat Nov 8 06:57:35 2008