Exemple #1
0
 @Override
 public void propagate(int idxVarInProp, int mask) throws ContradictionException {
   if (idxVarInProp == 0) {
     iD.freeze();
     iD.forEachRemVal(
         (IntProcedure)
             x -> {
               if (i.contains(x)) {
                 Assert.fail();
               }
             });
     iD.unfreeze();
   } else {
     jD.freeze();
     jD.forEachRemVal(
         (IntProcedure)
             x -> {
               if (j.contains(x)) {
                 Assert.fail();
               }
             });
     jD.unfreeze();
   }
 }
Exemple #2
0
 @Override
 public void propagate(int evtmask) throws ContradictionException {
   iD.unfreeze();
   jD.unfreeze();
 }