SemiNCADominance (B2R2)

SemiNCADominance Module

Semi-NCA algorithm for dominator computation. Finding dominators in practice, ESA 2004.

Type	Description
LTDomInfo<'V>

Function or value	Description
`creatFromInfo g fwInfo bwInfo dfp` Full Usage: `creatFromInfo g fwInfo bwInfo dfp` Parameters: g : `IDiGraphAccessible<'a, 'b>` fwInfo : `LTDomInfo<'a>` bwInfo : `Lazy<LTDomInfo<'a>>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b>`	g : `IDiGraphAccessible<'a, 'b>` fwInfo : `LTDomInfo<'a>` bwInfo : `Lazy<LTDomInfo<'a>>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b>`
`create g dfp` Full Usage: `create g dfp` Parameters: g : `IDiGraphAccessible<'a, 'b>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b>`	g : `IDiGraphAccessible<'a, 'b>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b>`
`createWithInfo g dfp` Full Usage: `createWithInfo g dfp` Parameters: g : `IDiGraphAccessible<'a, 'b>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b> * LTDomInfo<'a> * Lazy<LTDomInfo<'a>>`	g : `IDiGraphAccessible<'a, 'b>` dfp : `IDominanceFrontierProvider<'a, 'b>` Returns: `IDominance<'a, 'b> * LTDomInfo<'a> * Lazy<LTDomInfo<'a>>`
`updateInfo g info edge` Full Usage: `updateInfo g info edge` Parameters: g : `IDiGraphAccessible<'a, 'b>` info : `LTDomInfo<'a>` edge : `Edge<'c, 'd>` Returns: `LTDomInfo<'a>`	g : `IDiGraphAccessible<'a, 'b>` info : `LTDomInfo<'a>` edge : `Edge<'c, 'd>` Returns: `LTDomInfo<'a>`