IScheme<'WorkUnit, 'AbsVal> (B2R2)

IScheme<'WorkUnit, 'AbsVal> Type

Represents an interface that defines how the worklist-based dataflow analysis should be performed.

Instance member	Description
`this.GetNextWorks` Full Usage: `this.GetNextWorks` Parameters: arg0 : `'WorkUnit` Returns: `IReadOnlyCollection<'WorkUnit>` Modifiers: abstract	Get the next set of works to perform. arg0 : `'WorkUnit` Returns: `IReadOnlyCollection<'WorkUnit>`
`this.Transfer` Full Usage: `this.Transfer` Parameters: arg0 : `'WorkUnit` Returns: `'AbsVal` Modifiers: abstract	The transfer function, which computes the next abstract value from the current abstract value by executing the given 'WorkUnit. arg0 : `'WorkUnit` Returns: `'AbsVal`