LocalConstructiveDisjunction |
Project: choco.
|
Opposite |
Default opposite of a constraint
|
PropConditionnal |
A specific propagator which posts constraint on condition.
|
PropLocalConDis |
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 constraint
|
PropReif |
Implication propagator
|
PropXeqCReif |
A propagator dedicated to express in a compact way: (x = c) ⇔ b
|
PropXeqYCReif |
A propagator dedicated to express in a compact way: (x = y + c) ⇔ b
|
PropXinSReif |
A propagator dedicated to express in a compact way: (x = c) ⇔ b
|
PropXltCReif |
A propagator dedicated to express in a compact way: (x < c) ⇔ b
|
PropXltYCReif |
A propagator dedicated to express in a compact way: (x < y + c) ⇔ b
|