* @param AC additional filtering algorithm, domain filtering algorithm derivated from (Soft)AllDifferent
*/
public static Constraint atleast_nvalues(IntVar[] VARS, IntVar NVALUES, boolean AC) {
TIntArrayList vals = getDomainUnion(VARS);
if (AC) {
return new Constraint("AtLeastNValues", new PropAtLeastNValues(VARS, vals, NVALUES), new PropAtLeastNValues_AC(VARS, NVALUES));
} else {
return new Constraint("AtLeastNValues", new PropAtLeastNValues(VARS, vals, NVALUES));
}
}