DomInfo<'D> (B2R2)

DomInfo<'D> Type

Record Field	Description
`Ancestor` Full Usage: `Ancestor` Field type: `int[]`	DFNum -> DFNum of an ancestor. Field type: `int[]`
`Bucket` Full Usage: `Bucket` Field type: `Set<int>[]`	DFNum -> set of DFNums (vertices that share the same sdom). Field type: `Set<int>[]`
`Child` Full Usage: `Child` Field type: `int[]`	DFNum -> DFNum of the child node (zero if not exists). Field type: `int[]`
`DFNumMap` Full Usage: `DFNumMap` Field type: `Dictionary<VertexID, int>`	Vertex ID -> DFNum Field type: `Dictionary<VertexID, int>`
`IDom` Full Usage: `IDom` Field type: `int[]`	DFNum -> DFNum of an immediate dominator. Field type: `int[]`
`Label` Full Usage: `Label` Field type: `int[]`	DFNum -> DFNum in the ancestor chain s.t. DFNum 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[]`	DFNum -> DFNum of the parent node (zero if not exists). Field type: `int[]`
`Semi` Full Usage: `Semi` Field type: `int[]`	DFNum -> DFNum of a semidominator. Field type: `int[]`
`Size` Full Usage: `Size` Field type: `int[]`	DFNum -> Size Field type: `int[]`
`Vertex` Full Usage: `Vertex` Field type: `Vertex<'D>[]`	DFNum -> Vertex Field type: `Vertex<'D>[]`