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