Predicate DataFlow::DataFlow::localFlowStep
Holds if data can flow from pred
to succ
in one local step.
predicate localFlowStep(Node pred, Node succ)
Version 1.22.0
Holds if data can flow from pred
to succ
in one local step.
predicate localFlowStep(Node pred, Node succ)