Returns a formula stating that the value of this int expression is less than the
value of the given int expression The effect
of this method is the same as calling this.compose(IntComparisonFormula.Operator.LT, intexpr).
Returns a BooleanValue encoding the comparator circuit
that checks whether the integer represented by this
Int is less than the integer
represented by the specified Int.
Returns a formula stating that the value of this int expression is less than
or equal to the value of the given int expression The effect
of this method is the same as calling this.compose(IntComparisonFormula.Operator.LTE, intexpr).
Returns a BooleanValue encoding the comparator circuit
that checks whether the integer represented by this
Int is less than or equal to the integer
represented by the specified Int