Header menu logo B2R2

IDominance<'V, 'E> Type

Represents an interface for computing dominance relationships of nodes in digraphs.

Instance members

Instance member Description

this.DominanceFrontier

Full Usage: this.DominanceFrontier

Parameters:
Returns: IEnumerable<IVertex<'V>>
Modifiers: abstract

Gets the dominance frontier of the given vertex.

arg0 : IVertex<'V>
Returns: IEnumerable<IVertex<'V>>

this.DominatorTree

Full Usage: this.DominatorTree

Returns: DominatorTree<'V, 'E>
Modifiers: abstract

Gets the dominator tree.

Returns: DominatorTree<'V, 'E>

this.Dominators

Full Usage: this.Dominators

Parameters:
Returns: IEnumerable<IVertex<'V>>
Modifiers: abstract

Gets the dominators of the given vertex.

arg0 : IVertex<'V>
Returns: IEnumerable<IVertex<'V>>

this.ImmediateDominator

Full Usage: this.ImmediateDominator

Parameters:
Returns: IVertex<'V>
Modifiers: abstract

Gets the immediate dominator of the given vertex, or null if it does not exist.

arg0 : IVertex<'V>
Returns: IVertex<'V>

this.ImmediatePostDominator

Full Usage: this.ImmediatePostDominator

Parameters:
Returns: IVertex<'V>
Modifiers: abstract

Gets the immediate post-dominator of the given vertex, or null if it does not exist.

arg0 : IVertex<'V>
Returns: IVertex<'V>

this.PostDominanceFrontier

Full Usage: this.PostDominanceFrontier

Parameters:
Returns: IEnumerable<IVertex<'V>>
Modifiers: abstract

Gets the post-dominance frontier of the given vertex.

arg0 : IVertex<'V>
Returns: IEnumerable<IVertex<'V>>

this.PostDominatorTree

Full Usage: this.PostDominatorTree

Returns: DominatorTree<'V, 'E>
Modifiers: abstract

Gets the post-dominator tree.

Returns: DominatorTree<'V, 'E>

this.PostDominators

Full Usage: this.PostDominators

Parameters:
Returns: IEnumerable<IVertex<'V>>
Modifiers: abstract

Gets the post-dominators of the given vertex.

arg0 : IVertex<'V>
Returns: IEnumerable<IVertex<'V>>

Type something to start searching.