Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.nary.cumulative | |
org.chocosolver.solver.variables |
Modifier and Type | Method and Description |
---|---|
default Constraint |
IIntConstraintFactory.cumulative(Task[] tasks,
IntVar[] heights,
IntVar capacity)
Creates a 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.
|
default Constraint |
IIntConstraintFactory.cumulative(Task[] tasks,
IntVar[] heights,
IntVar capacity,
boolean incremental)
Creates a 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.
|
default Constraint |
IIntConstraintFactory.cumulative(Task[] tasks,
IntVar[] heights,
IntVar capacity,
boolean incremental,
Cumulative.Filter... filters)
Creates a 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.
|
default Constraint |
IIntConstraintFactory.cumulative(Task[] tasks,
IntVar[] heights,
IntVar capacity,
boolean incremental,
CumulFilter... filters)
Creates a 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
|
Cumulative(Task[] tasks,
IntVar[] heights,
IntVar capacity,
boolean graphBased,
CumulFilter... filters)
Cumulative constraint
|
Modifier and Type | Method and Description |
---|---|
default Task |
IVariableFactory.taskVar(IntVar s,
int p)
Creates a task variable, based on a starting time s and a processing time p
such that: s + p = e, where e is the ending time.
|
default Task |
IVariableFactory.taskVar(IntVar s,
IntVar p)
Creates a task variable, based on a starting time s and a processing time p
such that: s + p = e, where e is the ending time.
|
default Task |
IVariableFactory.taskVar(IntVar s,
IntVar p,
IntVar e)
Creates a task variable, made of a starting time s,
a processing time p and an ending time e such that: s + p = e.
|
default Task[] |
IVariableFactory.taskVarArray(IntVar[] s,
IntVar[] p,
IntVar[] e)
Creates an array of s.length task variables,
where task i is made of a starting time s_i,
a processing time p_i and an ending time e_i such that: s_i + p_i = e_i.
|
default Task[][] |
IVariableFactory.taskVarMatrix(IntVar[][] s,
IntVar[][] p,
IntVar[][] e)
Creates a matrix of s.length * s_0.length task variables,
where task i,j is made of a starting time s_(i,j),
a processing time p_(i,j) and an ending time e_(i,j) such that:
s_(i,j) + p_(i,j) = e_(i,j).
|
Copyright © 2018. All rights reserved.