IterativeDominance (B2R2)

IterativeDominance Module

Provides a simplistic iterative dominance algorithm.

Function or value	Description
`create g dfp` Full Usage: `create g dfp` Parameters: g : `IDiGraphAccessible<'V, 'E>` dfp : `IDominanceFrontierProvider<'V, 'E>` Returns: `IDominance<'V, 'E>` Type parameters: 'V, 'E (requires equality and equality)	Creates an IDominance instance that computes dominance information using a simplistic iterative algorithm. g : `IDiGraphAccessible<'V, 'E>` dfp : `IDominanceFrontierProvider<'V, 'E>` Returns: `IDominance<'V, 'E>`