@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();
}
}
@Override
public void propagate(int evtmask) throws ContradictionException {
iD.unfreeze();
jD.unfreeze();
}