Module org.chocosolver
Package org.chocosolver.solver.constraints.binary
-
Class Summary Class Description PropAbsolute Enforces X = |Y|PropDistanceXYC | X - Y | op C
op = {"==", "<", ">", "=/="}PropEqualX_Y X = YPropEqualX_YC X = Y + CPropEqualXY_C X + Y = CPropGreaterOrEqualX_Y X >= YPropGreaterOrEqualX_YC X >= Y + CPropGreaterOrEqualXY_C X + Y >= CPropLessOrEqualXY_C X + Y <= CPropModXY X % mod = Y A propagator for the constraint Y = X % mod where X and Y are integer, possibly negative, variables and mod is an int The filtering algorithm both supports bounded and enumerated integer variablesPropNotEqualX_Y A specificPropagator
extension defining filtering algorithm for:
X =/= Y
where X and Y areVariable
objects.PropNotEqualX_YC A specificPropagator
extension defining filtering algorithm for:
X =/= Y + C
where X and Y areVariable
objects and C a constant.PropNotEqualXY_C A specificPropagator
extension defining filtering algorithm for:
X + Y =/= C
where X and Y areVariable
objects and C a constant.PropScale Scale propagator : ensures x * y = z With y a constant greater than one Ensures ACPropSquare Enforces X = Y^2