Static member | Description |
Full Usage:
Edge.addEdge graph edge
Parameters:
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
|
|
Full Usage:
Edge.removeEdge edge graph
Parameters:
'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
|
|