Functions for edges of directed Graphs
Function or value | Description |
|
|
|
|
Full Usage:
contains v1 v2 g
Parameters:
'Vertex
v2 : 'Vertex
g : Graph<'Vertex, 'Label, 'Edge>
Returns: bool
|
Returns true, if the edge from vertex v1 to vertex v2 is contained in the graph. Otherwise, it returns false.
|
|
|
|
|
|
|
Full Usage:
fold folder state graph
Parameters:
'State -> 'Vertex -> 'Vertex -> 'Edge -> 'State
state : 'State
graph : Graph<'Vertex, 'Label, 'Edge>
Returns: 'State
|
|
Full Usage:
iter action g
Parameters:
'Vertex -> 'Vertex -> 'Edge -> unit
g : Graph<'Vertex, 'Label, 'Edge>
|
|
Full Usage:
iteri action graph
Parameters:
int -> 'Vertex -> 'Vertex -> 'Edge -> unit
graph : Graph<'Vertex, 'Label, 'Edge>
|
Performs a given function on every edge of the graph, which also receives an ascending integer index.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|