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)