Member predicate DataFlow::Configuration::hasFlowPath
Holds if data may flow from source
to sink
for this configuration.
The corresponding paths are generated from the end-points and the graph
included in the module PathGraph
.
predicate hasFlowPath(PathNode source, PathNode sink)