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