Ejemplo n.º 1
0
 /** 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();
   }
 }