Edge Type

Constructors

Constructor Description

Edge()

Full Usage: Edge()

Returns: Edge
Returns: Edge

Static members

Static member Description

Edge.addEdge graph edge

Full Usage: Edge.addEdge graph edge

Parameters:
    graph : UndirectedGraph<'NodeKey, 'EdgeData> - The graph the edge will be added to.
    edge : 'NodeKey * 'NodeKey * 'EdgeData - The edge to be created. A three part tuple containing the origin node, the destination node, and any edge label such as the weight.

Returns: UndirectedGraph<'NodeKey, 'EdgeData> Unit

Adds a new edge to the graph

graph : UndirectedGraph<'NodeKey, 'EdgeData>

The graph the edge will be added to.

edge : 'NodeKey * 'NodeKey * 'EdgeData

The edge to be created. A three part tuple containing the origin node, the destination node, and any edge label such as the weight.

Returns: UndirectedGraph<'NodeKey, 'EdgeData>

Unit

Edge.removeEdge edge graph

Full Usage: Edge.removeEdge edge graph

Parameters:
    edge : 'NodeKey * 'NodeKey - The edge to be removed. A two part tuple containing the origin node, the destination node.
    graph : UndirectedGraph<'NodeKey, 'EdgeData> - The graph the edge will be removed from.

Returns: UndirectedGraph<'NodeKey, 'EdgeData> Unit

Removes an edge to the graph.

edge : 'NodeKey * 'NodeKey

The edge to be removed. A two part tuple containing the origin node, the destination node.

graph : UndirectedGraph<'NodeKey, 'EdgeData>

The graph the edge will be removed from.

Returns: UndirectedGraph<'NodeKey, 'EdgeData>

Unit