TopologicalDataFlowAnalysis<'L, 'V> (B2R2)

TopologicalDataFlowAnalysis<'L, 'V> Type

Classic data-flow analysis with topological worklist algorithm.

Constructor Description

Constructor	Description
`TopologicalDataFlowAnalysis(direction)` Full Usage: `TopologicalDataFlowAnalysis(direction)` Parameters: direction : `DataFlowDirection` Returns: `TopologicalDataFlowAnalysis<'L, 'V>`	direction : `DataFlowDirection` Returns: `TopologicalDataFlowAnalysis<'L, 'V>`


                
                  
                    
                      TopologicalDataFlowAnalysis(direction)

Full Usage: TopologicalDataFlowAnalysis(direction)

Parameters:

direction : DataFlowDirection

Returns: TopologicalDataFlowAnalysis<'L, 'V>

Instance member	Description
`this.Compute(g) (root)` Full Usage: `this.Compute(g) (root)` Parameters: g : `DiGraph<'V, 'a>` root : `Vertex<'V>` Returns: `Dictionary<VertexID, 'L> * Dictionary<VertexID, 'L>`	Compute data-flow with the iterative worklist algorithm. g : `DiGraph<'V, 'a>` root : `Vertex<'V>` Returns: `Dictionary<VertexID, 'L> * Dictionary<VertexID, 'L>`
`this.Meet(arg1) (arg2)` Full Usage: `this.Meet(arg1) (arg2)` Parameters: arg0 : `'L` arg1 : `'L` Returns: `'L` Modifiers: abstract	Meet operation of the lattice. arg0 : `'L` arg1 : `'L` Returns: `'L`
`this.Transfer(arg1) (arg2)` Full Usage: `this.Transfer(arg1) (arg2)` Parameters: arg0 : `'L` arg1 : `Vertex<'V>` Returns: `'L` Modifiers: abstract	The transfer function from an input lattice to an output lattice. The second parameter is to specify the current block of interest. arg0 : `'L` arg1 : `Vertex<'V>` Returns: `'L`