public final class PropGEDistanceXYZ extends AbstractPropDistanceXYZ
X, Y, Z
constraint, model, priority, reactToFineEvt, vars
Constructor and Description |
---|
PropGEDistanceXYZ(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) |
filterFromXYtoLBZ, filterFromXYtoUBZ, filterGreaterFromIZToJ, filterLowerFromIZToJ, getPropagationConditions, isEntailed, propagate, 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 PropGEDistanceXYZ(IntVar[] vars)
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.