Static member | Description |
Full Usage:
Node.addNode graph node
Parameters:
UndirectedGraph<'NodeKey, '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, 'EdgeData>
Unit
|
|
Full Usage:
Node.removeNode graph node
Parameters:
UndirectedGraph<'NodeKey, 'EdgeData>
-
The graph the edge will be removed from.
node : 'NodeKey
-
The node to be removed.
Returns: UndirectedGraph<'NodeKey, 'EdgeData>
Unit
|
|