WorklistDataFlow (B2R2)

WorklistDataFlow Module

Provides types and functions for worklist-based dataflow analysis.

Type	Description
IScheme<'WorkUnit, 'AbsVal>	Represents an interface that defines how the worklist-based dataflow analysis should be performed.
State<'WorkUnit, 'Lattice, 'V>	Represents a state used in worklist-based dataflow analysis.

Function or value	Description
`compute initialWorkList lattice sch state` Full Usage: `compute initialWorkList lattice sch state` Parameters: initialWorkList : `'a seq` lattice : `ILattice<'b>` sch : `IScheme<'a, 'b>` state : `State<'a, 'b, 'c>` Returns: `State<'a, 'b, 'c>`	Runs the worklist-based dataflow analysis on the given initial work list. initialWorkList : `'a seq` lattice : `ILattice<'b>` sch : `IScheme<'a, 'b>` state : `State<'a, 'b, 'c>` Returns: `State<'a, 'b, 'c>`