Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.cumulative

Class Cumulative

java.lang.Object

org.chocosolver.solver.constraints.Constraint

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

public class Cumulative
extends Constraint

Cumulative constraint

Since:

22/10/13

Author:

Jean-Guillaume Fages

Nested Class Summary

Nested Classes

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

Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.Constraint

Constraint.Status

Field Summary

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

boolReif, propagators

Constructor Summary

Constructors

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

Method Summary

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

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

checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, ignore, isReified, isSatisfied, makeOpposite, merge, post, reify, reifyWith, setName, setOpposite, 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.

Cumulative

public Cumulative(Task[] tasks,
                  IntVar[] heights,
                  IntVar capacity,
                  boolean graphBased,
                  CumulFilter... 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)