Class | Description |
---|---|
AbstractPropDistanceXYZ |
A constraint to state |X - Y| operator Z
where operator can be =, <=, <, >=, > and X, Y, and Z 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
|
PropEQDistanceXYZ | |
PropGEDistanceXYZ | |
PropGTDistanceXYZ | |
PropLEDistanceXYZ | |
PropLTDistanceXYZ | |
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 © 2018. All rights reserved.