Functor Components.Make

module Make: 
functor (G : G) -> sig .. end

val scc : Components.G.t -> G.V.t -> int

scc g computes the strongly connected components of g. The result is a function f such that f u = f v if and only if u and v are in the same component. Beware: to be used efficiently, scc must be applied to a single argument (the graph).

val scc_list : Components.G.t -> G.V.t list list

scc_list computes the strongly connected components of g. The result is a partition of the set of the vertices of g.