CytronDominanceFrontier<'V, 'E> (B2R2)

CytronDominanceFrontier<'V, 'E> Type

Namespace: B2R2.MiddleEnd.BinGraph.Dominance
Assembly: B2R2.MiddleEnd.BinGraph.dll
Base Type: obj
All Interfaces: IDominanceFrontierProvider<'V, 'E>

Dominance frontier algorithm presented by Cytron et al. in their paper "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph", TOPLAS 1991.

Constructors

Constructor	Description
`CytronDominanceFrontier()` Full Usage: `CytronDominanceFrontier()` Returns: `CytronDominanceFrontier<'V, 'E>`	Returns: `CytronDominanceFrontier<'V, 'E>`