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 |
Probabilistic Propagator for AllDifferent AC constraint for integer variables introduced
to avoid loosing too much time in AC propagation when BC is sufficientss
The more this propagator triggers filtering and failure, the more likely it will be called
If it does not bring improvement, this propagator will be called less during search
|
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
|
PropAllDiffInst.FastResetArrayStack |
Copyright © 2018. All rights reserved.