Package org.chocosolver.solver.constraints.nary.alldifferent
-
Class Summary Class Description AllDifferent Ensures that all variables from VARS take a different value.PropAllDiffAC Propagator for AllDifferent AC constraint for integer variablesPropAllDiffAdaptative 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 searchPropAllDiffBC Based on: "A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint" A.PropAllDiffInst Propagator for AllDifferent that only reacts on instantiationPropAllDiffInst.FastResetArrayStack