Header menu logo B2R2

CooperDominance Module

Cooper et al.'s algorithm for dominance computation. A Simple, Fast Dominance Algorithm, SPE 2001.

Functions and values

Function or value Description

create g dfp

Full Usage: create g dfp

Parameters:
Returns: IDominance<'a, 'b>
g : IDiGraphAccessible<'a, 'b>
dfp : IDominanceFrontierProvider<'a, 'b>
Returns: IDominance<'a, 'b>

Type something to start searching.