Vertex<'V> (B2R2)

Vertex<'V> Type

Namespace: B2R2.MiddleEnd.BinGraph
Assembly: B2R2.MiddleEnd.BinGraph.dll
Base Type: obj
All Interfaces: IComparable

A vertex of a graph. The vertex data (v) is optional, and if it is None, we will consider the vertex as a dummy node. Dummy nodes are useful for representing entry/exit node in a CFG.

Constructors

Constructor	Description
`Vertex(v)` Full Usage: `Vertex(v)` Parameters: v : `'V` Returns: `Vertex<'V>`	Create a regular vertex. v : `'V` Returns: `Vertex<'V>`
`Vertex()` Full Usage: `Vertex()` Returns: `Vertex<'V>`	Create a dummy vertex. Returns: `Vertex<'V>`
`Vertex(v)` Full Usage: `Vertex(v)` Parameters: v : `'V option` Returns: `Vertex<'V>`	v : `'V option` Returns: `Vertex<'V>`

Instance members

Instance member	Description
`this.GetID()` Full Usage: `this.GetID()` Returns: `VertexID`	Each vertex has a unique ID attached to it. We sometimes need to access ID of dummy vertex for example calculating dominators. Returns: `VertexID`
`this.IsDummy()` Full Usage: `this.IsDummy()` Returns: `bool`	Check whether vertex is a dummy node. Returns: `bool`
`this.Preds` Full Usage: `this.Preds` Modifiers: abstract
`this.Succs` Full Usage: `this.Succs` Modifiers: abstract
`this.VData` Full Usage: `this.VData` Returns: `'V`	Data attached to the vertex. Returns: `'V`

Static members

Static member Description

Static member	Description
`Vertex.GetID(v)` Full Usage: `Vertex.GetID(v)` Parameters: v : `Vertex<'f>` Returns: `VertexID`	Return the ID of the given vertex. v : `Vertex<'f>` Returns: `VertexID`


                
                  
                    
                      Vertex.GetID(v)

Full Usage: Vertex.GetID(v)

Parameters:

v : Vertex<'f>

Returns: VertexID

Return the ID of the given vertex.

v : Vertex<'f>

Returns: VertexID