Member predicate GuardedControlFlow::ConditionBlock::controlsEdge

Holds if this condition controls the edge pred->succ, i.e. those edges for which the condition is testIsTrue.

predicate controlsEdge(BasicBlock pred, BasicBlock succ, boolean testIsTrue)