Functor Components.Make


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

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.