Module org.chocosolver
Package org.chocosolver.solver.constraints.nary.nvalue
-
Class Summary Class Description PropAMNV Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValuesPropAtLeastNValues Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValues No level of consistency but better than BC in general (for enumerated domains with holes)PropAtLeastNValues_AC AtLeastNValues Propagator (similar to SoftAllDiff) The number of distinct values in vars is at least nValues Performs Generalized Arc Consistency based on Maximum Bipartite Matching The worst case time complexity is O(nm) but this is very pessimistic In practice it is more like O(m) where m is the number of variable-value pairsPropAtMostNValues Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValues No level of consistency but better than BC in general (for enumerated domains with holes)PropAtMostNValues_BC Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValues Performs Bound Consistency in O(n+d) with n = |vars| d = maxValue - minValue (from initial domains)