| Class | Description |
|---|---|
| PropConditionnal |
A specific propagator which posts constraint on condition.
|
| 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
|
Copyright © 2015. All rights reserved.