@Override
public BooleanFormula translate(FormulaManagerView fmgr) {
BooleanFormula form = null;
Formula lhs = LHS.translate(fmgr);
Formula rhs = RHS.translate(fmgr);
switch (reln) {
case EQUAL:
form = fmgr.makeEqual(lhs, rhs);
break;
case LEQ:
form = fmgr.makeLessOrEqual(lhs, rhs, true);
break;
case LT:
form = fmgr.makeLessThan(lhs, rhs, true);
break;
}
return form;
}
