Header menu logo B2R2

LTDomInfo<'V> Type

Record fields

Record Field Description

Ancestor

Full Usage: Ancestor

Field type: int[]

DFPre -> DFPre of an ancestor.

Field type: int[]

DFPre

Full Usage: DFPre

Field type: Dictionary<VertexID, int>

Vertex ID -> DFPre

Field type: Dictionary<VertexID, int>

DummyRoot

Full Usage: DummyRoot

Field type: IVertex<'V>

Dummy root

Field type: IVertex<'V>

IDom

Full Usage: IDom

Field type: int[]

DFPre -> DFPre of an immediate dominator.

Field type: int[]

Label

Full Usage: Label

Field type: int[]

DFPre -> DFPre in the ancestor chain s.t. DFPre of its Semi is minimal.

Field type: int[]

MaxLength

Full Usage: MaxLength

Field type: int

Length of the arrays.

Field type: int

Parent

Full Usage: Parent

Field type: int[]

DFPre -> DFPre of the parent node (zero if not exists).

Field type: int[]

Roots

Full Usage: Roots

Field type: IVertex<'V>[]

Real roots of graph

Field type: IVertex<'V>[]

Semi

Full Usage: Semi

Field type: int[]

DFPre -> DFPre of a semidominator.

Field type: int[]

Vertex

Full Usage: Vertex

Field type: IVertex<'V>[]

DFPre -> Vertex

Field type: IVertex<'V>[]

Type something to start searching.