Member predicate DataFlow :: Configuration :: isAdditionalFlowStep
Holds if src -> trg
is a flow edge converting flow with label inlbl
to
flow with label outlbl
.
predicate
isAdditionalFlowStep
(
Node
src
,
Node
trg
,
FlowLabel
inlbl
,
FlowLabel
outlbl
)