Example #1
0
 private void updateVar(SetVar v) throws ContradictionException {
   if (!v.isInDomainEnveloppe(s)) {
     v.remFromEnveloppe(t, this, true);
   } else {
     v.addToKernel(s, this, true);
   }
 }
Example #2
0
 @Override
 public String pretty() {
   StringBuilder sb = new StringBuilder();
   sb.append("ValuePrecede(" + s + "," + t + ",{");
   for (int i = 0; i < vars.length; i++) {
     if (i > 0) sb.append(", ");
     SetVar var = vars[i];
     sb.append(var.pretty());
   }
   sb.append("})");
   return sb.toString();
 }
Example #3
0
 private boolean checkKerEnv(SetVar v) {
   return !v.isInDomainEnveloppe(s) || v.isInDomainKernel(t);
 }