Interface | Description |
---|---|
Condition |
A condition over integer variables
|
Class | Description |
---|---|
PropCondAllDiff_AC |
Propagator for AllDifferent AC constraint for integer variables
subject to conditions (e.g. allDifferent_except_0)
AllDiff only applies on the subset of variables satisfying the given condition
|
PropCondAllDiffInst |
Propagator for ConditionnalAllDifferent that only reacts on instantiation
|
Copyright © 2017. All rights reserved.