public final class PropLTDistanceXYZ extends AbstractPropDistanceXYZ
X, Y, Z
constraint, model, priority, reactToFineEvt, vars
Constructor and Description |
---|
PropLTDistanceXYZ(IntVar[] vars) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
filterFromXYtoZ() |
protected boolean |
filterFromXZToY() |
protected boolean |
filterFromYZToX() |
protected String |
getOperator() |
protected boolean |
isEntailed(int distance,
int value) |
void |
propagate(int evtmask)
Call the main filtering algorithm to apply to the
Domain of the Variable objects. |
filterFromXYtoLBZ, filterFromXYtoUBZ, filterGreaterFromIZToJ, filterLowerFromIZToJ, getPropagationConditions, isEntailed, propagate, propagate, toString
addVariable, arity, compareTo, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, fails, forcePropagate, forcePropagationOnBacktrack, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, linkVariables, reactToFineEvent, setActive, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, unlinkVariables, unschedule, why
public PropLTDistanceXYZ(IntVar[] vars)
public void propagate(int evtmask) throws ContradictionException
Propagator
Domain
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 AbstractPropDistanceXYZ
evtmask
- type of propagation event this
must consider.ContradictionException
- when a contradiction occurs, like domain wipe out or other incoherencies.protected boolean filterFromYZToX() throws ContradictionException
filterFromYZToX
in class AbstractPropDistanceXYZ
ContradictionException
protected boolean filterFromXZToY() throws ContradictionException
filterFromXZToY
in class AbstractPropDistanceXYZ
ContradictionException
protected boolean filterFromXYtoZ() throws ContradictionException
filterFromXYtoZ
in class AbstractPropDistanceXYZ
ContradictionException
protected boolean isEntailed(int distance, int value)
isEntailed
in class AbstractPropDistanceXYZ
protected String getOperator()
getOperator
in class AbstractPropDistanceXYZ
Copyright © 2018. All rights reserved.