Member predicate ControlFlowElement::reachableFrom
Holds if the current element is reachable from src
.
predicate reachableFrom(ControlFlowElement src)
Holds if the current element is reachable from src
.
predicate reachableFrom(ControlFlowElement src)