Package org.jacop.constraints.cumulative
Class CumulativeOptional
java.lang.Object
org.jacop.constraints.DecomposedConstraint<Constraint>
org.jacop.constraints.Constraint
org.jacop.constraints.cumulative.CumulativeBasic
org.jacop.constraints.cumulative.Cumulative
org.jacop.constraints.cumulative.CumulativeOptional
-
Field Summary
FieldsFields inherited from class org.jacop.constraints.cumulative.Cumulative
doEdgeFind, doQuadraticEdgeFind, taskDecLctComparator, taskIncEstComparator, taskReversed
Fields inherited from class org.jacop.constraints.cumulative.CumulativeBasic
cumulativeForConstants, limit, possibleZeroTasks, taskNormal
Fields inherited from class org.jacop.constraints.Constraint
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
Constructor Summary
ConstructorsConstructorDescriptionCumulativeOptional
(List<? extends IntVar> starts, List<? extends IntVar> durations, List<? extends IntVar> resources, IntVar limit, List<? extends IntVar> opt) It creates a cumulative constraint.CumulativeOptional
(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit, IntVar[] opt) It creates a cumulative constraint. -
Method Summary
Modifier and TypeMethodDescriptionvoid
consistency
(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.(package private) TaskView[]
filterZeroTasks
(TaskView[] ts) int
toString()
It produces a string representation of a constraint state.Methods inherited from class org.jacop.constraints.cumulative.Cumulative
doQuadraticEdgeFind, edgeFind, edgeFindQuad
Methods inherited from class org.jacop.constraints.cumulative.CumulativeBasic
profileProp
Methods inherited from class org.jacop.constraints.Constraint
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
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
-
Field Details
-
opt
IntVar[] opt -
up
-
-
Constructor Details
-
CumulativeOptional
public CumulativeOptional(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit, IntVar[] opt) It creates a cumulative constraint.- Parameters:
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.opt
- variables informing whether the tasks is present or not.
-
CumulativeOptional
public CumulativeOptional(List<? extends IntVar> starts, List<? extends IntVar> durations, List<? extends IntVar> resources, IntVar limit, List<? extends IntVar> opt) It creates a cumulative constraint.- Parameters:
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.opt
- variables informing whether the tasks is present or not.
-
-
Method Details
-
consistency
Description copied from class:Constraint
It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.- Overrides:
consistency
in classCumulative
- Parameters:
store
- constraint store within which the constraint consistency is being checked.
-
filterZeroTasks
- Overrides:
filterZeroTasks
in classCumulative
-
getDefaultConsistencyPruningEvent
public int getDefaultConsistencyPruningEvent()- Overrides:
getDefaultConsistencyPruningEvent
in classCumulative
-
toString
Description copied from class:Constraint
It produces a string representation of a constraint state.- Overrides:
toString
in classCumulative
-