Class | Description |
---|---|
LocalConstructiveDisjunction |
Project: choco.
|
Opposite |
Default opposite of a constraint
Project: choco-solver.
|
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
Should not be called by the user
|
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
|
Copyright © 2018. All rights reserved.