Member predicate DataFlow :: Configuration :: hasFlowPath
Holds if data may flow from source
to sink
for this configuration.
predicate
hasFlowPath
(
SourcePathNode
source
,
SinkPathNode
sink
)