Member predicate Configuration::hasFlowPath

Holds if data may flow from source to sink for this configuration.

predicate hasFlowPath(SourcePathNode source, SinkPathNode sink)