Node Type

Constructors

Constructor Description

Node()

Full Usage: Node()

Returns: Node
Returns: Node

Static members

Static member Description

Node.addNode graph node

Full Usage: Node.addNode graph node

Parameters:
    graph : DiGraph<'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: DiGraph<'NodeKey, DiGraph<'NodeKey, 'NodeData, 'EdgeData>, 'a> -> DiGraph<'NodeKey, DiGraph<'NodeKey, 'NodeData, 'EdgeData>, 'a> Unit

Adds a new node to the graph

graph : DiGraph<'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: DiGraph<'NodeKey, DiGraph<'NodeKey, 'NodeData, 'EdgeData>, 'a> -> DiGraph<'NodeKey, DiGraph<'NodeKey, 'NodeData, 'EdgeData>, 'a>

Unit

Node.getNodeData node graph

Full Usage: Node.getNodeData node graph

Parameters:
    node : 'NodeKey - The key of the node node to be returned
    graph : DiGraph<'NodeKey, 'NodeData, 'EdgeData> - The graph the node will be returned from.

Returns: 'NodeData Unit

Returns Node Data for a given node from the graph

node : 'NodeKey

The key of the node node to be returned

graph : DiGraph<'NodeKey, 'NodeData, 'EdgeData>

The graph the node will be returned from.

Returns: 'NodeData

Unit

Node.removeNode graph node

Full Usage: Node.removeNode graph node

Parameters:
    graph : DiGraph<'NodeKey, 'NodeData, 'EdgeData> - The graph the edge will be removed from.
    node : 'NodeKey - The node to be removed.

Returns: DiGraph<'NodeKey, 'NodeData, 'EdgeData> Unit

Removes a node from the graph

graph : DiGraph<'NodeKey, 'NodeData, 'EdgeData>

The graph the edge will be removed from.

node : 'NodeKey

The node to be removed.

Returns: DiGraph<'NodeKey, 'NodeData, 'EdgeData>

Unit