Lattice (B2R2)

VarDefDomain.Lattice Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Parent Module: VarDefDomain
Abbreviation For: Map<VarKind, Set<VarPoint>>
Base Type: obj
All Interfaces: IReadOnlyDictionary<VarKind, Set<VarPoint>> , IReadOnlyCollection<KeyValuePair<VarKind, Set<VarPoint>>> , IStructuralEquatable , IComparable , IDictionary<VarKind, Set<VarPoint>> , ICollection<KeyValuePair<VarKind, Set<VarPoint>>> , KeyValuePair<VarKind, Set<VarPoint>> seq , IEnumerable

Represents a lattice element in the variable definition domain.

Instance member	Description
`this.Count` Full Usage: `this.Count` Returns: `int`	Returns: `int`
`this.IsEmpty` Full Usage: `this.IsEmpty` Returns: `bool`	Returns: `bool`
`this[key]` Full Usage: `this[key]` Parameters: key : `VarKind` Returns: `Set<VarPoint>`	key : `VarKind` Returns: `Set<VarPoint>`
`this.Keys` Full Usage: `this.Keys` Returns: `ICollection<VarKind>`	Returns: `ICollection<VarKind>`
`this.Values` Full Usage: `this.Values` Returns: `ICollection<Set<VarPoint>>`	Returns: `ICollection<Set<VarPoint>>`