| 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
|
| PropXeqYReif |
A propagator dedicated to express in a compact way: (x = y) ⇔ b
|
| PropXgtCReif |
A propagator dedicated to express in a compact way: (x > 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
|
| PropXltYReif |
A propagator dedicated to express in a compact way: (x < y) ⇔ b
|
| PropXneCReif |
A propagator dedicated to express in a compact way: (x ≠ c) ⇔ b
|
| PropXneYReif |
A propagator dedicated to express in a compact way: (x ≠ y) ⇔ b
|