Member predicate DataFlow::Configuration::isAdditionalFlowStep
Holds if src -> trg
should be considered as a flow edge
in addition to standard data flow edges.
predicate isAdditionalFlowStep(Node src, Node trg)
Holds if src -> trg
should be considered as a flow edge
in addition to standard data flow edges.
predicate isAdditionalFlowStep(Node src, Node trg)