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 constant
PropGreaterOrEqualXC	X >= C
PropLessOrEqualXC	X <= C
PropMember	This propagator manages a singleton nogood.
PropNotEqualXC	A propagator ensuring that: X =/= C, where X is a variable and C a constant
PropNotMember	This propagator manages a singleton nogood.