DBSDomInfo<'V, 'E> (B2R2)

DBSDomInfo<'V, 'E> Type

Record Field	Description
`Children` Full Usage: `Children` Field type: `Dictionary<VertexID, HashSet<VertexID>>`	Vertex ID -> Vertex ID Set of children in the dominator tree. Field type: `Dictionary<VertexID, HashSet<VertexID>>`
`DFP` Full Usage: `DFP` Field type: `IDominanceFrontierProvider<'V, 'E>`	Dominance frontier provider. Field type: `IDominanceFrontierProvider<'V, 'E>`
`Depth` Full Usage: `Depth` Field type: `Dictionary<VertexID, int>`	Vertex ID -> Depth of the vertex in the dominance tree. Field type: `Dictionary<VertexID, int>`
`DummyRootID` Full Usage: `DummyRootID` Field type: `VertexID`	Dummy root ID Field type: `VertexID`
`IDom` Full Usage: `IDom` Field type: `Dictionary<VertexID, VertexID>`	Vertex ID -> Vertex ID of an immediate dominator. Field type: `Dictionary<VertexID, VertexID>`
`Reachable` Full Usage: `Reachable` Field type: `HashSet<VertexID>`	Vertex ID of reachable vertices. Field type: `HashSet<VertexID>`
`StaticAlgo` Full Usage: `StaticAlgo` Field type: `StaticAlgo`	Static dominance algorithm. Field type: `StaticAlgo`