Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.nary.cumulative | |
org.chocosolver.solver.variables |
Modifier and Type | Method and Description |
---|---|
static Constraint |
IntConstraintFactory.cumulative(Task[] TASKS,
IntVar[] HEIGHTS,
IntVar CAPACITY)
Cumulative constraint: Enforces that at each point in time,
the cumulated height of the set of tasks that overlap that point
does not exceed a given limit.
|
static Constraint |
IntConstraintFactory.cumulative(Task[] TASKS,
IntVar[] HEIGHTS,
IntVar CAPACITY,
boolean INCREMENTAL)
Cumulative constraint: Enforces that at each point in time,
the cumulated height of the set of tasks that overlap that point
does not exceed a given limit.
|
Modifier and Type | Method and Description |
---|---|
static IntVar[] |
Cumulative.extract(Task[] tasks,
IntVar[] heights,
IntVar capa) |
Constructor and Description |
---|
Cumulative(Task[] tasks,
IntVar[] heights,
IntVar capacity,
boolean graphBased,
Cumulative.Filter... filters)
Cumulative constraint
|
Modifier and Type | Method and Description |
---|---|
static Task |
VariableFactory.task(IntVar START,
IntVar DURATION,
IntVar END)
Build a Task software component (not a variable) which ensures that START + DURATION = END
|
Copyright © 2015. All rights reserved.