SemiNCADominance (B2R2) | B2R2

SemiNCADominance Module

Namespace: B2R2.MiddleEnd.BinGraph.Dominance
Assembly: B2R2.MiddleEnd.BinGraph.dll

Provides the Semi-NCA algorithm for dominator computation presented in "Finding dominators in practice", ESA 2004.

Types

Type	Description
LTDomInfo<'V>

Functions and values

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>` Type parameters: 'a, 'b (requires equality and equality)	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>` Type parameters: 'a, 'b (requires equality and equality)	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>>` Type parameters: 'a, 'b (requires equality and equality)	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>` Type parameters: 'a, 'b, 'c, 'd (requires equality and equality and equality and equality)	g : `IDiGraphAccessible<'a, 'b>` info : `LTDomInfo<'a>` edge : `Edge<'c, 'd>` Returns: `LTDomInfo<'a>`