public class Cumulative extends CumulativeBasic
Modifier and Type | Field and Description |
---|---|
protected Comparator<org.jacop.constraints.cumulative.TaskView> |
taskDecLctComparator |
protected Comparator<org.jacop.constraints.cumulative.TaskView> |
taskIncEstComparator |
limit
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
Cumulative(IntVar[] starts,
IntVar[] durations,
IntVar[] resources,
IntVar limit)
It creates a cumulative constraint.
|
Cumulative(List<? extends IntVar> starts,
List<? extends IntVar> durations,
List<? extends IntVar> resources,
IntVar limit)
It creates a cumulative constraint.
|
Modifier and Type | Method and Description |
---|---|
void |
consistency(Store store)
It is a (most probably incomplete) consistency function which removes the
values from variables domains.
|
void |
doQuadraticEdgeFind(boolean doQEF) |
int |
getDefaultConsistencyPruningEvent() |
String |
toString()
It produces a string representation of a constraint state.
|
afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, impose, imposeDecomposition, increaseWeight, intArrayToString, long2int, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
protected Comparator<org.jacop.constraints.cumulative.TaskView> taskIncEstComparator
protected Comparator<org.jacop.constraints.cumulative.TaskView> taskDecLctComparator
public Cumulative(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit)
starts
- variables denoting starts of the tasks.durations
- variables denoting durations of the tasks.resources
- variables denoting resource usage of the tasks.limit
- the overall limit of resources which has to be used.public Cumulative(List<? extends IntVar> starts, List<? extends IntVar> durations, List<? extends IntVar> resources, IntVar limit)
starts
- variables denoting starts of the tasks.durations
- variables denoting durations of the tasks.resources
- variables denoting resource usage of the tasks.limit
- the overall limit of resources which has to be used.public void doQuadraticEdgeFind(boolean doQEF)
public void consistency(Store store)
Constraint
consistency
in class CumulativeBasic
store
- constraint store within which the constraint consistency is being checked.public int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent
in class CumulativeBasic
public String toString()
Constraint
toString
in class CumulativeBasic
Copyright © 2022. All rights reserved.