Lattice (B2R2) | B2R2

UntouchedValueDomain.Lattice Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Parent Module: UntouchedValueDomain
Base Type: obj
All Interfaces: IEquatable<Lattice> , IStructuralEquatable , IComparable<Lattice> , IComparable , IStructuralComparable

Represents a lattice element in the untouched value domain.

Union cases

Union case	Description
`Touched` Full Usage: `Touched`	Touched means the value is redefined.
`Undef` Full Usage: `Undef`
`Untouched UntouchedTag` Full Usage: `Untouched UntouchedTag` Parameters: Item : `UntouchedTag`	This value is never defined within the function. Item : `UntouchedTag`

Instance members

Instance member	Description
`this.IsTouched` Full Usage: `this.IsTouched` Returns: `bool`	Returns: `bool`
`this.IsUndef` Full Usage: `this.IsUndef` Returns: `bool`	Returns: `bool`
`this.IsUntouched` Full Usage: `this.IsUntouched` Returns: `bool`	Returns: `bool`