Module Containers_sccSource

Sourcetype 'a iter = ('a -> unit) -> unit
Sourcemodule type ARG = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (A : ARG) : S with module A = A
Sourceval scc : tbl:(module Hashtbl.S with type key = 'node) -> graph:'graph -> children:('graph -> 'node -> 'node iter) -> nodes:'node list -> unit -> 'node list list

Compute the strongly connected components of the given graph, reachable from nodes.

  • parameter graph

    the graph state

  • parameter children

    maps a node to its direct descendants (children)

  • parameter nodes

    initial nodes.

  • parameter tbl

    a hashtable implementation that takes nodes as keys