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); }