Functions to operate on the AdjGraph representation
Constructor | Description |
|
|
Static member | Description |
|
|
|
|
|
|
|
|
|
|
Full Usage:
AdjGraph.containsEdge v1 v2 g
Parameters:
'NodeKey
v2 : 'NodeKey
g : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: bool
|
Returns true, if the edge from vertex v1 to vertex v2 is contained in the graph. Otherwise, it returns false.
|
Full Usage:
AdjGraph.containsNode vk g
Parameters:
'NodeKey
g : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: bool
|
|
Full Usage:
AdjGraph.countEdges graph
Parameters:
AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: int
|
|
Full Usage:
AdjGraph.countNodes g
Parameters:
AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: int
|
|
|
|
Full Usage:
AdjGraph.findEdge sourceKey targetKey graph
Parameters:
'NodeKey
targetKey : 'NodeKey
graph : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: 'NodeKey * 'NodeKey * 'EdgeData
|
Tries to find an edge between the specified nodes. Raises Exception if no such edge exists in the graph.
|
Full Usage:
AdjGraph.findNode n g
Parameters:
'NodeKey
g : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: 'NodeKey * 'NodeData
|
Lookup a labeled vertex in the graph. Raising KeyNotFoundException if no binding exists in the graph.
|
Full Usage:
AdjGraph.getDegree g nk
Parameters:
AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
nk : 'NodeKey
Returns: int
|
|
|
|
|
|
Full Usage:
AdjGraph.getNeighbours nk g
Parameters:
'NodeKey
g : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: seq<'NodeKey * 'EdgeData>
|
|
|
|
|
|
|
|
Full Usage:
AdjGraph.getNodes g
Parameters:
AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: seq<'NodeKey * 'NodeData>
|
|
|
|
Full Usage:
AdjGraph.iterEdge action graph
Parameters:
'NodeKey -> 'NodeKey -> 'EdgeData -> unit
graph : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
|
|
Full Usage:
AdjGraph.iterNodes action graph
Parameters:
'NodeKey -> 'NodeData -> unit
graph : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
|
|
Full Usage:
AdjGraph.iteriNodes action graph
Parameters:
int -> 'NodeKey -> 'NodeData -> unit
graph : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
|
|
Full Usage:
AdjGraph.map mapping graph
Parameters:
'NodeKey -> 'NodeData -> 'NodeKey * 'NodeData
graph : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: Dictionary<'NodeKey, ('NodeData * Dictionary<'NodeKey, 'EdgeData>)>
|
|
Full Usage:
AdjGraph.mapContexts mapping g
Parameters:
'NodeData * Dictionary<'NodeKey, 'EdgeData> -> 'T
g : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: seq<'NodeKey * 'T>
|
|
Full Usage:
AdjGraph.ofSeq edgelist
Parameters:
seq<'NodeKey * 'NodeData * 'NodeKey * 'NodeData * 'EdgeData>
Returns: AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
|
|
|
|
Full Usage:
AdjGraph.removeMany edgeSeq removeF g
Parameters:
seq<'NodeKey * 'NodeKey>
removeF : 'NodeKey -> 'NodeKey -> AdjGraph<'NodeKey, 'NodeData, 'EdgeData> -> AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
g : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
|
|
|
|
|
|
|
|
Full Usage:
AdjGraph.toArray2D nodeIndexer
Parameters:
'NodeKey -> int
Returns: AdjGraph<'NodeKey, 'NodeData, 'EdgeData> -> 'EdgeData[,]
An array2d
|
|
Full Usage:
AdjGraph.toEdgeSeq graph
Parameters:
AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: seq<'NodeKey * 'NodeKey * 'EdgeData>
|
|
Full Usage:
AdjGraph.toNodeArray graph
Parameters:
AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: ('NodeKey * 'NodeData)[]
|
|
Full Usage:
AdjGraph.toSeq graph
Parameters:
AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: seq<'NodeKey * 'NodeData * 'NodeKey * 'NodeData * 'EdgeData>
|
|
|
|
Full Usage:
AdjGraph.tryFindEdge nk1 nk2 g
Parameters:
'NodeKey
nk2 : 'NodeKey
g : AdjGraph<'NodeKey, 'NodeData, 'EdgeData>
Returns: ('NodeKey * 'NodeKey * 'EdgeData) option
|
|