Module org.chocosolver.solver
Package org.chocosolver.solver.constraints.ternary
-
Class Summary 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 variablesPropEQDistanceXYZ PropGEDistanceXYZ PropGTDistanceXYZ PropLEDistanceXYZ PropLTDistanceXYZ PropMaxBC X = MAX(Y,Z)
ensures bound consistencyPropMinBC X = MIN(Y,Z)
ensures bound consistencyPropModXYZ 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 variablesPropTimesNaive V0 * V1 = V2PropXplusYeqZ A propagator to ensure that X + Y = Z holds, where X, Y and Z are IntVar.