Package org.chocosolver.solver.constraints.binary

Interface Summary Interface Description IDecompositionFactory An interface dedicated to list decomposition of some constraints. 
Class Summary Class Description PropAbsolute Enforces X = YPropDistanceXYC  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 <= CPropNotEqualX_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