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

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

Represents a state used in worklist-based dataflow analysis.

Constructor Description

Constructor	Description
`State(lattice)` Full Usage: `State(lattice)` Parameters: lattice : `ILattice<'Lattice>` Returns: `State<'WorkUnit, 'Lattice, 'V>`	lattice : `ILattice<'Lattice>` Returns: `State<'WorkUnit, 'Lattice, 'V>`


                
                  
                    
                      State(lattice)

Full Usage: State(lattice)

Parameters:

lattice : ILattice<'Lattice>

Returns: State<'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>`