public class XeqA extends PrimitiveConstraint
Modifier and Type  Field and Description 

SetVar 
a
It specifies variable b.

IntVar 
x
It specifies variable a.

notConsistencyPruningEvents
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description 

XeqA(IntVar x,
SetVar a)
It constructs an XeqA constraint to restrict the domain of the integer variables x and set variable a.

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 
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.

boolean 
satisfied()
It checks if the constraint is satisfied.

String 
toString()
It produces a string representation of a constraint state.

getDefaultNestedConsistencyPruningEvent, getDefaultNestedNotConsistencyPruningEvent, impose, include, setNotConsistencyPruningEvent
afc, arguments, cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, 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
public XeqA(IntVar x, SetVar a)
x
 variable x that is restricted to be the only element of a set assigned to set variable a.a
 set variable that must be equal to a set containing only one element as specified by integer variable x.public void consistency(Store store)
Constraint
consistency
in class Constraint
store
 constraint store within which the constraint consistency is being checked.public int getConsistencyPruningEvent(Var var)
Constraint
getConsistencyPruningEvent
in class Constraint
var
 variable for which pruning event is retrievedpublic int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent
in class Constraint
public int getNotConsistencyPruningEvent(Var var)
PrimitiveConstraint
getNotConsistencyPruningEvent
in class PrimitiveConstraint
var
 for which pruning event is retrievedpublic void notConsistency(Store store)
PrimitiveConstraint
notConsistency
in class PrimitiveConstraint
store
 the constraint store in which context the notConsistency technique is evaluated.public boolean notSatisfied()
PrimitiveConstraint
notSatisfied
in class PrimitiveConstraint
public boolean satisfied()
SatisfiedPresent
Implementations of this interface for constraints that are not PrimitiveConstraint may require constraint imposition and consistency check as a requirement to work correctly.
public int getNestedPruningEvent(Var var, boolean mode)
PrimitiveConstraint
getNestedPruningEvent
in class PrimitiveConstraint
var
 for which pruning event is retrievedmode
 decides if pruning event for consistency or nonconsistency is required.protected int getDefaultNotConsistencyPruningEvent()
getDefaultNotConsistencyPruningEvent
in class PrimitiveConstraint
public String toString()
Constraint
toString
in class Constraint
Copyright © 2022. All rights reserved.