Module org.chocosolver.solver
Package org.chocosolver.solver.constraints.reification
-
Class Summary Class Description LocalConstructiveDisjunction Project: choco.Opposite Default opposite of a constraintPropConditional A specific propagator which temporarily posts constraint on condition.PropImplied Implication propagatorPropLocalConDis A propagator for constructive disjunction, with local deductions.PropOpposite Constraint representing the negation of a given constraint does not filter but fails if the given constraint is satisfied Can be used within any constraintPropReif Implication propagatorPropXeqCReif A propagator dedicated to express in a compact way: (x = c) ⇔ bPropXeqYCReif A propagator dedicated to express in a compact way: (x = y + c) ⇔ bPropXinSReif A propagator dedicated to express in a compact way: (x = c) ⇔ bPropXltCReif A propagator dedicated to express in a compact way: (x < c) ⇔ bPropXltYCReif A propagator dedicated to express in a compact way: (x < y + c) ⇔ b