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)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)