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