NAME

       Strongly_connected_components.S - no description

Module type

       Module type   Strongly_connected_components.S

Documentation

       Module type S
        = sig end

       module Id : Identifiable.S

       type directed_graph = Id.Set.t Id.Map.t

       If  (a  -> set) belongs to the map, it means that there are edges from a to every element of set .  It is
       assumed that no edge points to a vertex not represented in the map.

       type component =
        | Has_loop of Id.t list
        | No_loop of Id.t

       val connected_components_sorted_from_roots_to_leaf : directed_graph -> component array

       val component_graph : directed_graph -> (component * int list) array

OCamldoc                                           2023-10-26                Strongly_connected_components.S(3o)