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>

Represents the Cytron et al.'s dominance frontier algorithm presented 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>`