Class | Description |
---|---|
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
|
PropXplusYeqZ |
A propagator to ensure that X + Y = Z holds, where X, Y and Z are IntVar.
|
Copyright © 2017. All rights reserved.