private void updateVar(SetVar v) throws ContradictionException {
if (!v.isInDomainEnveloppe(s)) {
v.remFromEnveloppe(t, this, true);
} else {
v.addToKernel(s, this, true);
}
}
private boolean checkKerEnv(SetVar v) {
return !v.isInDomainEnveloppe(s) || v.isInDomainKernel(t);
}
