Member predicate Configuration::isAdditionalFlowStep
Holds if src -> trg
is a flow edge converting flow with label inlbl
to
flow with label outlbl
.
Holds if src -> trg
is a flow edge converting flow with label inlbl
to
flow with label outlbl
.