public abstract class PrimitiveConstraint extends Constraint implements StoreAware, SatisfiedPresent
Modifier and Type | Field and Description |
---|---|
Hashtable<Var,Integer> |
notConsistencyPruningEvents
It specifies the events which must occur for notConsistency()
method being executed.
|
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
PrimitiveConstraint() |
Modifier and Type | Method and Description |
---|---|
protected int |
getDefaultNestedConsistencyPruningEvent() |
protected int |
getDefaultNestedNotConsistencyPruningEvent() |
protected abstract 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.
|
abstract void |
notConsistency(Store store)
It makes pruning in such a way that constraint is notConsistent.
|
abstract boolean |
notSatisfied()
It checks if constraint would be always not satisfied.
|
void |
setNotConsistencyPruningEvent(Var var,
int pruningEvent)
It allows to specify customized events required to trigger execution
of notConsitency() method.
|
afc, arguments, cleanAfterFailure, consistency, decompose, getConsistencyPruningEvent, getDefaultConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, long2int, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, toString, updateAFC, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
satisfied
public int getNotConsistencyPruningEvent(Var var)
var
- for which pruning event is retrievedpublic void impose(Store store)
Constraint
impose
in class Constraint
store
- the constraint store to which the constraint is imposed to.public int getNestedPruningEvent(Var var, boolean mode)
var
- for which pruning event is retrievedmode
- decides if pruning event for consistency or nonconsistency is required.protected int getDefaultNestedNotConsistencyPruningEvent()
protected int getDefaultNestedConsistencyPruningEvent()
protected abstract int getDefaultNotConsistencyPruningEvent()
public abstract void notConsistency(Store store)
store
- the constraint store in which context the notConsistency technique is evaluated.public abstract boolean notSatisfied()
public void setNotConsistencyPruningEvent(Var var, int pruningEvent)
var
- variable for which customized event is setup.pruningEvent
- the type of the event being setup.public void include(Store store)
StoreAware
include
in interface StoreAware
store
- the constraint store in which context the constraint is executed.Copyright © 2022. All rights reserved.