| Class | Description |
|---|---|
| DistanceXYZ |
|X-Y| OP Z |
| Max |
X = MAX(Y,Z)
|
| Min |
X = MIN(Y,Z)
|
| PropDistanceXYZ |
A constraint to state |x0 - x1| operator x2
where operator can be =, <=, >= and x1, x2, x3 are variables
Warning: only achieves BoundConsistency for the moment !
|
| PropDivXYZ |
X/Y = Z
A propagator for the constraint Z = X / Y where X, Y and Z are integer, possibly negative, variables
The filtering algorithm both supports bounded and enumerated integer variables
|
| PropMaxBC |
X = MAX(Y,Z)
ensures bound consistency |
| PropMinBC |
X = MIN(Y,Z)
ensures bound consistency |
| PropTimesNaive |
V0 * V1 = V2
|
| PropTimesXY |
X*Y=Z filters from left to right
|
| PropTimesZ |
X*Y=Z filters from right to left
|
| Times |
X*Y = Z
|
Copyright © 2015. All rights reserved.