constraint.setImpl(constrainerVar.constrainer().addConstraint(exp));
}
public void defineConstraintImpl(Constraint constraint, IntExp constrainerVar, String oper, int value) {
IntBoolExp exp;
Oper op = stringToOper(oper);
switch (op) {
case EQ:
exp = constrainerVar.eq(value);
break;
case NEQ: