Member predicate GeqExpr::getLesserOperand
Gets the lesser operand of this comparison, that is, the left operand for
a <
or <=
comparison, and the right operand for >=
or >
.
Gets the lesser operand of this comparison, that is, the left operand for
a <
or <=
comparison, and the right operand for >=
or >
.