*/
public static Constraint alldifferent_conditionnal(IntVar[] VARS, Condition CONDITION, boolean AC) {
if (AC) {
return new Constraint("AllDifferent" + CONDITION,
new PropCondAllDiffInst(VARS, CONDITION),
new PropCondAllDiff_AC(VARS, CONDITION)
);
}
return new Constraint("AllDifferent" + CONDITION, new PropCondAllDiffInst(VARS, CONDITION));
}