Package org.jacop.constraints
Class Conditional
- java.lang.Object
-
- org.jacop.constraints.DecomposedConstraint<Constraint>
-
- org.jacop.constraints.Constraint
-
- org.jacop.constraints.Conditional
-
- All Implemented Interfaces:
SatisfiedPresent
public class Conditional extends Constraint implements SatisfiedPresent
Conditional constraint implements conditional constraint satisfiability. It enforces consistency of constraint c[k] where b[k] = 1 (true) and all b[i] for i < k are 0 (false).- Version:
- 4.7
-
-
Field Summary
Fields Modifier and Type Field Description IntVar[]
b
The list of 0/1 (Boolean) variables for assignment decision.PrimitiveConstraint[]
c
The list of constraints that are to be selected.(package private) static java.util.concurrent.atomic.AtomicInteger
idNumber
-
Fields inherited from class org.jacop.constraints.Constraint
afcWeight, atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace, watchedVariableGrounded
-
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
-
Constructor Summary
Constructors Constructor Description Conditional(java.util.List<? extends IntVar> b, java.util.List<? extends PrimitiveConstraint> c)
It constructs a Conditional constraint.Conditional(IntVar[] b, PrimitiveConstraint[] c)
It constructs a Conditional constraint.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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 satisfiedjava.lang.String
toString()
It produces a string representation of a constraint state.-
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, toInt, toInt, updateAFC, watchedVariableGrounded
-
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
-
-
-
-
Field Detail
-
idNumber
static final java.util.concurrent.atomic.AtomicInteger idNumber
-
b
public final IntVar[] b
The list of 0/1 (Boolean) variables for assignment decision.
-
c
public final PrimitiveConstraint[] c
The list of constraints that are to be selected.
-
-
Constructor Detail
-
Conditional
public Conditional(IntVar[] b, PrimitiveConstraint[] c)
It constructs a Conditional constraint.- Parameters:
b
- 0/1 variables for selection of constraintc
- constraints for selection.
-
Conditional
public Conditional(java.util.List<? extends IntVar> b, java.util.List<? extends PrimitiveConstraint> c)
It constructs a Conditional constraint.- Parameters:
b
- 0/1 variables for selection of constraintc
- constraints for selection.
-
-
Method Detail
-
getDefaultConsistencyPruningEvent
public int getDefaultConsistencyPruningEvent()
- Specified by:
getDefaultConsistencyPruningEvent
in classConstraint
-
consistency
public void consistency(Store store)
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.- Specified by:
consistency
in classConstraint
- Parameters:
store
- constraint store within which the constraint consistency is being checked.
-
satisfied
public boolean satisfied()
Informs wheter the constraint is satisfied- Specified by:
satisfied
in interfaceSatisfiedPresent
- Returns:
- true if constraint is satisfied
-
toString
public java.lang.String toString()
Description copied from class:Constraint
It produces a string representation of a constraint state.- Overrides:
toString
in classConstraint
-
-