public abstract class PrimitiveConstraint extends Constraint
Modifier and Type | Field and Description |
---|---|
Hashtable<Var,Integer> |
notConsistencyPruningEvents
It specifies the events which must occur for notConsistency()
method being executed.
|
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace
queueIndex
Constructor and Description |
---|
PrimitiveConstraint() |
Modifier and Type | Method and Description |
---|---|
abstract int |
getNestedPruningEvent(Var var,
boolean mode)
It retrieves the pruning event for which any composed constraint which
uses this constraint should be evaluated.
|
abstract int |
getNotConsistencyPruningEvent(Var var)
It retrieves the pruning event which causes reevaluation of the
constraint notConsistency() function.
|
void |
include(Store store)
It provide store for constraints that are not imposed but called from ather 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.
|
arguments, cleanAfterFailure, consistency, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, id, impose, impose, imposeDecomposition, increaseWeight, numberArgs, queueVariable, removeConstraint, removeLevel, removeLevelLate, requiresMonotonicity, satisfied, setConsistencyPruningEvent, supplyGuideFeedback, toString
auxiliaryVariables, derivative, imposeDecomposition
public abstract int getNotConsistencyPruningEvent(Var var)
var
- for which pruning event is retrievedpublic abstract int getNestedPruningEvent(Var var, boolean mode)
var
- for which pruning event is retrievedmode
- decides if pruning event for consistency or nonconsistency is required.public abstract void notConsistency(Store store)
store
- the constraint store in which context the notConsistency technique is evaluated.public abstract boolean notSatisfied()
public void include(Store store)
store
- the constraint store in which context the constraint is executed.public void setNotConsistencyPruningEvent(Var var, int pruningEvent)
var
- variable for which customized event is setup.pruningEvent
- the type of the event being setup.Copyright © 2015. All rights reserved.