public class Conditional extends Constraint implements SatisfiedPresent
Modifier and Type | Field and Description |
---|---|
IntVar[] |
b
The list of 0/1 (Boolean) variables for assignment decision.
|
PrimitiveConstraint[] |
c
The list of constraints that are to be selected.
|
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
Conditional(IntVar[] b,
PrimitiveConstraint[] c)
It constructs a Conditional constraint.
|
Conditional(List<? extends IntVar> b,
List<? extends PrimitiveConstraint> c)
It constructs a Conditional 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.
|
int |
getDefaultConsistencyPruningEvent() |
boolean |
satisfied()
Informs wheter the constraint is satisfied
|
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, 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
public final IntVar[] b
public final PrimitiveConstraint[] c
public Conditional(IntVar[] b, PrimitiveConstraint[] c)
b
- 0/1 variables for selection of constraintc
- constraints for selection.public Conditional(List<? extends IntVar> b, List<? extends PrimitiveConstraint> c)
b
- 0/1 variables for selection of constraintc
- constraints for selection.public int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent
in class Constraint
public void consistency(Store store)
Constraint
consistency
in class Constraint
store
- constraint store within which the constraint consistency is being checked.public boolean satisfied()
satisfied
in interface SatisfiedPresent
public String toString()
Constraint
toString
in class Constraint
Copyright © 2020. All rights reserved.