Module org.chocosolver.solver

Package org.chocosolver.solver.constraints.ternary

Class PropGEDistanceXYZ

java.lang.Object

org.chocosolver.solver.constraints.Propagator<IntVar>

org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ

org.chocosolver.solver.constraints.ternary.PropGEDistanceXYZ

All Implemented Interfaces:

Comparable<Propagator<IntVar>>, ICause, Identity

public final class PropGEDistanceXYZ
extends AbstractPropDistanceXYZ

Since:

10/30/2017

Author:

Arnaud Malapert

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ

X, Y, Z

Fields inherited from class org.chocosolver.solver.constraints.Propagator

ACTIVE, constraint, model, operations, priority, reactToFineEvt, state, vars

Constructor Summary

Constructors

Constructor	Description
PropGEDistanceXYZ(IntVar[] vars)

Method Summary

Modifier and Type	Method	Description
protected boolean	filterFromXYtoZ()
protected boolean	filterFromXZToY()
protected boolean	filterFromYZToX()
protected String	getOperator()
protected boolean	isEntailed(int distance, int value)

Methods inherited from class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ

filterFromXYtoLBZ, filterFromXYtoUBZ, filterGreaterFromIZToJ, filterLowerFromIZToJ, getPropagationConditions, isEntailed, propagate, propagate, propagate, toString

Methods inherited from class org.chocosolver.solver.constraints.Propagator

addVariable, arity, bounds, compareTo, defaultReason, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, fails, fails, forcePropagate, forcePropagationOnBacktrack, forEachIntVar, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReified, isReifiedAndSilent, isStateLess, lbounds, lcg, linkVariables, manageReification, reactToFineEvent, reason, setActive, setEnabled, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, ubounds, unlinkVariables, unschedule

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

PropGEDistanceXYZ

public PropGEDistanceXYZ(IntVar[] vars)

Method Details

filterFromYZToX

protected boolean filterFromYZToX()
                           throws ContradictionException

Specified by:

filterFromYZToX in class AbstractPropDistanceXYZ

Throws:

ContradictionException

filterFromXZToY

protected boolean filterFromXZToY()
                           throws ContradictionException

Specified by:

filterFromXZToY in class AbstractPropDistanceXYZ

Throws:

ContradictionException

filterFromXYtoZ

protected boolean filterFromXYtoZ()
                           throws ContradictionException

Specified by:

filterFromXYtoZ in class AbstractPropDistanceXYZ

Throws:

ContradictionException

isEntailed

protected boolean isEntailed(int distance,
 int value)

Specified by:

isEntailed in class AbstractPropDistanceXYZ

getOperator

protected String getOperator()

Specified by:

getOperator in class AbstractPropDistanceXYZ