CooperDominance (B2R2)

CooperDominance Module

Provides the Cooper et al.'s algorithm for dominance computation presented in "A Simple, Fast Dominance Algorithm", SPE 2001.

Function or value	Description
`create g dfp` Full Usage: `create g dfp` Parameters: g : `IDiGraphAccessible<'a, 'b>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b>` Type parameters: 'a, 'b (requires equality and equality)	g : `IDiGraphAccessible<'a, 'b>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b>`