Module org.chocosolver
Package org.chocosolver.solver.constraints.unary
-
Class Summary Class Description Member NotMember PropEqualXC Unary propagator ensuring:
X = C, where X is a variable and C is a constantPropGreaterOrEqualXC X >= CPropLessOrEqualXC X <= CPropMember This propagator manages a singleton nogood.PropNotEqualXC A propagator ensuring that: X =/= C, where X is a variable and C a constantPropNotMember This propagator manages a singleton nogood.