org.chocosolver.solver.constraints.nary.cumulative

Class Cumulative

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.nary.cumulative.Cumulative

All Implemented Interfaces:

Serializable

public class Cumulative
extends Constraint

Cumulative constraint

Since:

22/10/13

Author:

Jean-Guillaume Fages

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Cumulative.Filter Filtering algorithms for Cumulative constraint

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.Constraint

name, propagators

Constructor Summary

Constructors

Constructor and Description
Cumulative(Task[] tasks, IntVar[] heights, IntVar capacity, boolean graphBased, Cumulative.Filter... filters) Cumulative constraint

Method Summary

Methods

Modifier and Type	Method and Description
static IntVar[]	extract(Task[] tasks, IntVar[] heights, IntVar capa)

Methods inherited from class org.chocosolver.solver.constraints.Constraint

computeMaxPriority, duplicate, getName, getOpposite, getPropagator, getPropagators, isReified, isSatisfied, makeOpposite, reif, reifyWith, setName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Cumulative

public Cumulative(Task[] tasks,
          IntVar[] heights,
          IntVar capacity,
          boolean graphBased,
          Cumulative.Filter... filters)

Cumulative constraint

Parameters:

tasks - task variables (embed start, duration and end variables)

heights - height variables (represent the consumption of each task on the resource)

capacity - maximal capacity of the resource (same at each point in time)

graphBased - parameter indicating how to filter: - TRUE: applies on subset of overlapping tasks - FALSE: applies on all tasks

filters - Filtering algorithm to use: - TIME: filters time-table from considering each point in time (efficient in practice as long as the time horizon is not too high) - SWEEP: filters time-table with a sweep-based algorithm - NRJ: greedy energy-based filter. BEWARE: should not be used alone, use it in addition to either SWEEP or TIME.

Method Detail

extract

public static IntVar[] extract(Task[] tasks,
               IntVar[] heights,
               IntVar capa)