simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

doc

Browse source
This commit is contained in:
Simon Cruanes 2015-12-15 16:49:32 +01:00
parent 3ac1eff2af
commit c58d31ed98
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/data/CCGraph.mli
View file

@ -271,6 +271,8 @@ val scc : ?tbl:('v, 'v scc_state) table ->
(** Strongly connected components reachable from the given vertices. (** Strongly connected components reachable from the given vertices.
Each component is a list of vertices that are all mutually reachable Each component is a list of vertices that are all mutually reachable
in the graph. in the graph.
The components are explored in a topological order (if C1 and C2 are
components, and C1 points to C2, then C2 will be yielded before C1).
Uses {{: https://en.wikipedia.org/wiki/Tarjan's_strongly_connected_components_algorithm} Tarjan's algorithm} Uses {{: https://en.wikipedia.org/wiki/Tarjan's_strongly_connected_components_algorithm} Tarjan's algorithm}
@param tbl table used to map nodes to some hidden state @param tbl table used to map nodes to some hidden state
@raise Sequence_once if the result is iterated on more than once. @raise Sequence_once if the result is iterated on more than once.