public class PropBinAC3 extends PropBinCSP
relation, v0, v1aCause, ACTIVE, constraint, LOGGER, NEW, PASSIVE, priority, reactToFineEvt, REIFIED, solver, vars| Constructor and Description |
|---|
PropBinAC3(IntVar x,
IntVar y,
Tuples tuples) |
| Modifier and Type | Method and Description |
|---|---|
void |
duplicate(Solver solver,
gnu.trove.map.hash.THashMap<Object,Object> identitymap)
Duplicate the current propagator.
|
void |
propagate(int evtmask)
Call the main filtering algorithm to apply to the
Domain of the Variable objects. |
void |
propagate(int idxVarInProp,
int mask)
Incremental filtering algorithm defined within the
Propagator, called whenever the variable
of index idxVarInProp has changed. |
getRelation, isEntailedaddVariable, advise, arity, compareTo, contradiction, decNbPendingEvt, defineIn, dynPriority, flushPendingEvt, forcePropagate, getConstraint, getId, getNbPendingEvt, getNbVars, getPriority, getPropagationConditions, getSolver, getVar, getVars, getVIndices, hashCode, incNbPendingEvt, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, reactToFineEvent, setActive, setPassive, setReifiedSilent, setReifiedTrue, setVIndices, toString, whypublic void propagate(int evtmask)
throws ContradictionException
PropagatorDomain of the Variable objects.
It considers the current state of this objects to remove some values from domains and/or instantiate some variables.
Calling this method is done from 2 (and only 2) steps:
propagate in class Propagator<IntVar>evtmask - type of propagation event this must consider.ContradictionException - when a contradiction occurs, like domain wipe out or other incoherencies.public void propagate(int idxVarInProp,
int mask)
throws ContradictionException
PropagatorPropagator, called whenever the variable
of index idxVarInProp has changed. This method calls a CUSTOM_PROPAGATION (coarse-grained) by default.
This method should be overridden if the argument reactToFineEvt is set to true in the constructor.
Otherwise, it executes propagate(PropagatorEventType.CUSTOM_PROPAGATION.getStrengthenedMask());
propagate in class Propagator<IntVar>idxVarInProp - index of the variable var in thismask - type of eventContradictionException - if a contradiction occurspublic void duplicate(Solver solver, gnu.trove.map.hash.THashMap<Object,Object> identitymap)
Propagatorduplicate in class Propagator<IntVar>solver - the target solveridentitymap - a map to ensure uniqueness of objectsCopyright © 2015. All rights reserved.