Module org.chocosolver
Package org.chocosolver.solver.constraints.nary.alldifferent.conditions
-
Interface Summary Interface Description Condition A condition over integer variables -
Class Summary 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 conditionPropCondAllDiffInst Propagator for ConditionnalAllDifferent that only reacts on instantiation