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)