Class and Description |
---|
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
|
PropAllDiffInst.FastResetArrayStack |
Class and Description |
---|
PropAllDiffInst
Propagator for AllDifferent that only reacts on instantiation
|
Copyright © 2017. All rights reserved.