WorklistDataFlowState<'WorkUnit, 'Lattice, 'V> (B2R2)

WorklistDataFlowState<'WorkUnit, 'Lattice, 'V> Type

Worklist-based dataflow analysis state.

Constructor Description

Constructor	Description
`WorklistDataFlowState(analysis)` Full Usage: `WorklistDataFlowState(analysis)` Parameters: analysis : `IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>` Returns: `WorklistDataFlowState<'WorkUnit, 'Lattice, 'V>`	analysis : `IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>` Returns: `WorklistDataFlowState<'WorkUnit, 'Lattice, 'V>`


                
                  
                    
                      WorklistDataFlowState(analysis)

Full Usage: WorklistDataFlowState(analysis)

Parameters:

analysis : IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>

Returns: WorklistDataFlowState<'WorkUnit, 'Lattice, 'V>

Instance member	Description
`this.AbsValues` Full Usage: `this.AbsValues` Returns: `Dictionary<'WorkUnit, 'Lattice>`	Returns: `Dictionary<'WorkUnit, 'Lattice>`
`this.PopWork` Full Usage: `this.PopWork` Returns: `'WorkUnit`	Returns: `'WorkUnit`
`this.PushWork` Full Usage: `this.PushWork` Parameters: work : `'WorkUnit`	work : `'WorkUnit`
`this.WorkList` Full Usage: `this.WorkList` Returns: `Queue<'WorkUnit>`	Returns: `Queue<'WorkUnit>`