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)
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)