[ Reference Manual | Alphabetic Index ]

library(edge_finder)

Quadratic edge-finder algorithm for disjunctive and cumulative constraints for FD   [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 FD solver. It provides stronger propagation than the cumulative library, but weaker than the cubic edge_finder3 library for cumulative constraints. It is however computationally cheaper than the edge_finder3 library. Note that the same predicates are implemented in both edge_finder and edge_finder3 libraries.

About


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