Static member | Description |
Full Usage:
Node.addNode graph node
Parameters:
UndirectedGraph<'NodeKey, 'NodeData, 'EdgeData>
-
The graph the node will be added to.
node : 'NodeKey
-
The node to be created. The type must match the node type of the graph.
Returns: UndirectedGraph<'NodeKey, UndirectedGraph<'NodeKey, 'NodeData, 'EdgeData>, 'a> -> UndirectedGraph<'NodeKey, UndirectedGraph<'NodeKey, 'NodeData, 'EdgeData>, 'a>
Unit
|
|
Full Usage:
Node.getNodeData node graph
Parameters:
'NodeKey
-
The key of the node node to be returned
graph : UndirectedGraph<'NodeKey, 'NodeData, 'EdgeData>
-
The graph the node will be returned from.
Returns: 'NodeData
Unit
|
|
Full Usage:
Node.removeNode graph node
Parameters:
UndirectedGraph<'NodeKey, 'NodeData, 'EdgeData>
-
The graph the edge will be removed from.
node : 'NodeKey
-
The node to be removed.
Returns: UndirectedGraph<'NodeKey, 'NodeData, 'EdgeData>
Unit
|
|