Static member | Description |
Full Usage:
Edge.addEdge graph edge
Parameters:
UndirectedGraph<'NodeKey, 'NodeData, '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, 'NodeData, 'EdgeData>
|
|
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, 'NodeData, 'EdgeData>
-
The graph the edge will be removed from.
Returns: UndirectedGraph<'NodeKey, 'NodeData, 'EdgeData>
|
|
Full Usage:
Edge.sumBy getWeight graph
Parameters:
'EdgeData -> float
-
Function that maps EdgeData to float.
graph : UndirectedGraph<'b, 'c, 'EdgeData>
-
The graph the edge will be removed from.
Returns: float
|
|