solveDataFlow
fun <A : MeetSemiLattice<A>, NodeT : DataFlowNode<A>, EdgeT : DataFlowEdge<A>> solveDataFlow(top: A, graph: Graph<NodeT, EdgeT>): Map<NodeT, A>
Content copied to clipboard
Run data flow analysis on the given graph and return the computed solution for each node. The solution for a node is the return value of the last call to DataFlowNode.transfer.
Parameters
top
greatest element of A
graph
data flow graph to run the analysis on