| Class | Description |
|---|---|
| AllDifferent |
Ensures that all variables from VARS take a different value.
|
| PropAllDiffAC |
Propagator for AllDifferent AC constraint for integer variables
Uses Regin algorithm
Runs in O(m.n) worst case time for the initial propagation
but has a good average behavior in practice
Runs incrementally for maintaining a matching
|
| PropAllDiffAdaptative |
Propagator for AllDifferent AC constraint for integer variables
Uses Regin algorithm
Runs in O(m.n) worst case time for the initial propagation
but has a good average behavior in practice
Runs incrementally for maintaining a matching
|
| PropAllDiffBC |
Based on:
"A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint"
A.
|
| PropAllDiffInst |
Propagator for AllDifferent that only reacts on instantiation
|
| Enum | Description |
|---|---|
| AllDifferent.Type |
Copyright © 2015. All rights reserved.