8283848586878889
if (condition.holdOnVar(v)) { nb--; vs[nb] = v; } } filter = new AlgoAllDiffAC(vs, aCause); filter.propagate(); }
65666768697071
* * @param variables */ public PropAllDiffAC(IntVar[] variables) { super(variables, PropagatorPriority.QUADRATIC, false); this.filter = new AlgoAllDiffAC(variables, aCause); }