Member predicate IRGuardCondition :: ensuresLtEdge
Holds if (determined by this guard) left < right + k
must be isLessThan
on the edge from
pred
to succ
. If isLessThan = false
then this implies left >= right + k
.
Holds if (determined by this guard) left < right + k
must be isLessThan
on the edge from
pred
to succ
. If isLessThan = false
then this implies left >= right + k
.