This commit is contained in:
Simon Cruanes 2022-11-16 13:30:13 -05:00
parent 069423bb77
commit fcfd8f19b0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -24,3 +24,11 @@ val scc :
nodes:'node list ->
unit ->
'node list list
(** Compute the strongly connected components of the given [graph],
reachable from [nodes].
@param graph the graph state
@param children maps a node to its direct descendants (children)
@param nodes initial nodes.
@param tbl a hashtable implementation that takes nodes as keys
*)