Header menu logo B2R2

ImperativeVertex<'V> Type

Represents an imperative vertex with mutable predecessor and successor lists.

Instance members

Instance member Description

this.ID

Full Usage: this.ID

Returns: int

Gets the unique identifier of this vertex.

Returns: int

this.Preds

Full Usage: this.Preds

Returns: List<ImperativeVertex<'V>>

Gets the mutable list of predecessors.

Returns: List<ImperativeVertex<'V>>

this.Succs

Full Usage: this.Succs

Returns: List<ImperativeVertex<'V>>

Gets the mutable list of successors.

Returns: List<ImperativeVertex<'V>>

Type something to start searching.