public class Implies extends PrimitiveConstraint implements UsesQueueVariable
| Modifier and Type | Field and Description |
|---|---|
IntVar |
b
It specifies variable b in the Implies constraint.
|
PrimitiveConstraint |
c
It specifies constraint in the Implies constraint.
|
notConsistencyPruningEventsatomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, tracequeueIndex| Constructor and Description |
|---|
Implies(IntVar b,
PrimitiveConstraint c)
It constructs ifthen 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 |
getConsistencyPruningEvent(Var var)
It retrieves the pruning event which causes reevaluation of the
constraint.
|
int |
getDefaultConsistencyPruningEvent() |
protected int |
getDefaultNotConsistencyPruningEvent() |
int |
getNestedPruningEvent(Var var,
boolean mode)
It retrieves the pruning event for which any composed constraint which
uses this constraint should be evaluated.
|
int |
getNotConsistencyPruningEvent(Var var)
It retrieves the pruning event which causes reevaluation of the
constraint notConsistency() function.
|
void |
impose(Store store)
It imposes the constraint in a given store.
|
void |
include(Store store)
It provide store for constraints that are not imposed but called from other constraints.
|
void |
notConsistency(Store store)
It makes pruning in such a way that constraint is notConsistent.
|
boolean |
notSatisfied()
It checks if constraint would be always not satisfied.
|
void |
queueVariable(int level,
Var variable)
This is a function called to indicate which variable in a scope of
constraint has changed.
|
boolean |
satisfied()
It checks if the constraint is satisfied.
|
String |
toString()
It produces a string representation of a constraint state.
|
getDefaultNestedConsistencyPruningEvent, getDefaultNestedNotConsistencyPruningEvent, setNotConsistencyPruningEventafc, arguments, cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, long2int, numberArgs, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGroundedauxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecompositionpublic IntVar b
public PrimitiveConstraint c
public Implies(IntVar b, PrimitiveConstraint c)
b - the varaible of the implied constraint.c - the constraint which must hold if the variable is 1.public void consistency(Store store)
Constraintconsistency in class Constraintstore - constraint store within which the constraint consistency is being checked.public boolean notSatisfied()
PrimitiveConstraintnotSatisfied in class PrimitiveConstraintpublic void notConsistency(Store store)
PrimitiveConstraintnotConsistency in class PrimitiveConstraintstore - the constraint store in which context the notConsistency technique is evaluated.public int getNestedPruningEvent(Var var, boolean mode)
PrimitiveConstraintgetNestedPruningEvent in class PrimitiveConstraintvar - for which pruning event is retrievedmode - decides if pruning event for consistency or nonconsistency is required.protected int getDefaultNotConsistencyPruningEvent()
getDefaultNotConsistencyPruningEvent in class PrimitiveConstraintpublic int getConsistencyPruningEvent(Var var)
ConstraintgetConsistencyPruningEvent in class Constraintvar - variable for which pruning event is retrievedpublic int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent in class Constraintpublic int getNotConsistencyPruningEvent(Var var)
PrimitiveConstraintgetNotConsistencyPruningEvent in class PrimitiveConstraintvar - for which pruning event is retrievedpublic void impose(Store store)
Constraintimpose in class PrimitiveConstraintstore - the constraint store to which the constraint is imposed to.public void include(Store store)
StoreAwareinclude in interface StoreAwareinclude in class PrimitiveConstraintstore - the constraint store in which context the constraint is executed.public boolean satisfied()
SatisfiedPresentImplementations of this interface for constraints that are not PrimitiveConstraint may require constraint imposition and consistency check as a requirement to work correctly.
satisfied in interface SatisfiedPresentpublic String toString()
ConstrainttoString in class Constraintpublic void queueVariable(int level,
Var variable)
ConstraintqueueVariable in class Constraintlevel - the level of the store at which the change has occurred.variable - variable which has changed.Copyright © 2022. All rights reserved.