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 src, Node dst, FlowLabel srclabel, FlowLabel dstlabel)Holds if src -> trg is a flow edge converting flow with label inlbl to
flow with label outlbl.
predicate isAdditionalFlowStep(Node src, Node dst, FlowLabel srclabel, FlowLabel dstlabel)