ILattice<'AbsVal> (B2R2)

ILattice<'AbsVal> Type

Represents an interface for a lattice used in abstract interpretation.

Instance member	Description
`this.Bottom` Full Usage: `this.Bottom` Returns: `'AbsVal` Modifiers: abstract	The initial abstract value representing the bottom of the lattice. Our analysis starts with this value until it reaches a fixed point. Returns: `'AbsVal`
`this.Join` Full Usage: `this.Join` Parameters: arg0 : `'AbsVal` arg1 : `'AbsVal` Returns: `'AbsVal` Modifiers: abstract	Joins two abstract values. arg0 : `'AbsVal` arg1 : `'AbsVal` Returns: `'AbsVal`
`this.Subsume` Full Usage: `this.Subsume` Parameters: arg0 : `'AbsVal` arg1 : `'AbsVal` Returns: `bool` Modifiers: abstract	The subsume operator, which checks if the first lattice subsumes the second. This is to know if the analysis should stop or not. arg0 : `'AbsVal` arg1 : `'AbsVal` Returns: `bool`