public class XinA extends PrimitiveConstraint
Modifier and Type  Field and Description 

SetVar 
a
It specifies variable b.

boolean 
strict
It specifies if the inclusion relation is strict.

IntVar 
x
It specifies variable a.

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

XinA(IntVar x,
SetVar a)
It constructs an XinA constraint to restrict the domain of the variables X and A.

XinA(IntVar x,
SetVar a,
boolean strict)
It constructs an XinY constraint to restrict the domain of the variables X and Y.

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
arguments, cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
public IntVar x
public SetVar a
public boolean strict
public XinA(IntVar x, SetVar a, boolean strict)
x
 variable x that is restriction to be a subset of y.a
 variable that is restricted to contain x.strict
 it specifies if the inclusion relation is strict.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 © 2018. All rights reserved.