Member predicate ConditionBlock::controls
Holds if controlled
is a basic block controlled by this condition, that
is, a basic blocks for which the condition is testIsTrue
.
predicate controls(BasicBlock controlled, boolean testIsTrue)
Holds if controlled
is a basic block controlled by this condition, that
is, a basic blocks for which the condition is testIsTrue
.
predicate controls(BasicBlock controlled, boolean testIsTrue)