Header menu logo B2R2

IterativeDominance Module

Simplisitic iterative dominance algorithm.

Functions and values

Function or value Description

create g dfp

Full Usage: create g dfp

Parameters:
Returns: IDominance<'V, 'E>
g : IDiGraphAccessible<'V, 'E>
dfp : IDominanceFrontierProvider<'V, 'E>
Returns: IDominance<'V, 'E>

Type something to start searching.