/** In case of a GT, due to a modification on v0 domain */ public void filterGTonVar(IntVar v0, IntVar v1) throws ContradictionException { if (cste >= 0) { int lbv0 = v0.getUB() - cste; int ubv0 = v0.getLB() + cste; // remove interval [lbv0, ubv0] from domain of vars[0] v1.removeInterval(lbv0, ubv0, this); } else { this.setPassive(); } }