Member predicate Guard :: hasBranchEdge
Holds if the evaluation of this guard to branch
corresponds to the edge
from bb1
to bb2
.
predicate
hasBranchEdge
(
BasicBlock
bb1
,
BasicBlock
bb2
,
boolean
branch
)