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 consistencyPropTimesNaive V0 * V1 = V2PropXplusYeqZ A propagator to ensure that X + Y = Z holds, where X, Y and Z are IntVar.