B2R2

VarPoint<'E> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IEquatable<VarPoint<'E>> , IStructuralEquatable , IComparable<VarPoint<'E>> , IComparable , IStructuralComparable

Program point of a defined variable.

Record fields

Record Field Description

ProgramPoint

Full Usage: ProgramPoint

Field type: ProgramPoint

Field type: ProgramPoint

VarExpr

Full Usage: VarExpr

Field type: 'E

Field type: 'E