PropGTDistanceXYZ (org.choco-solver-choco-solver 4.10.2 API)

java.lang.Object
- org.chocosolver.solver.constraints.Propagator<IntVar>
- - org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
  - - org.chocosolver.solver.constraints.ternary.PropGTDistanceXYZ

All Implemented Interfaces:

Comparable<Propagator>, ICause, Identity
```
public final class PropGTDistanceXYZ
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, DEFAULT_EXPL, model, operations, OUTPUT_DEFAULT_EXPL, priority, reactToFineEvt, state, vars

Constructor Summary

Constructors
Constructor Description

PropGTDistanceXYZ(IntVar[] vars)

Method Summary

All Methods Instance Methods Concrete Methods
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, compareTo, defaultExplain, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, explain, fails, forcePropagate, forcePropagationOnBacktrack, forEachIntVar, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReified, isReifiedAndSilent, isScheduled, isStateLess, linkVariables, reactToFineEvent, reifiedWith, setActive, setActive0, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, unlinkVariables, unschedule

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - PropGTDistanceXYZ
```
public PropGTDistanceXYZ(IntVar[] vars)
```
- Method Detail
  - 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