Predicate signature DataFlowMake::GlobalFlowSig::flowPath
Holds if data can flow from source
to sink
.
The corresponding paths are generated from the end-points and the graph
included in the module PathGraph
.
Holds if data can flow from source
to sink
.
The corresponding paths are generated from the end-points and the graph
included in the module PathGraph
.