Module Fix.GraphNumbering

GraphNumbering offers a facility for discovering and numbering the reachable vertices in a finite directed graph.

module Make : functor (M : Fix__.Sigs.IMPERATIVE_MAPS) -> functor (G : Fix__.Sigs.GRAPH with type t = M.key) -> Fix__.Sigs.NUMBERING with type t = G.t
module ForOrderedType : functor (T : Fix__.Sigs.OrderedType) -> functor (G : Fix__.Sigs.GRAPH with type t = T.t) -> Fix__.Sigs.NUMBERING with type t = G.t
module ForHashedType : functor (T : Fix__.Sigs.HashedType) -> functor (G : Fix__.Sigs.GRAPH with type t = T.t) -> Fix__.Sigs.NUMBERING with type t = G.t
module ForType : functor (T : Fix__.Sigs.TYPE) -> functor (G : Fix__.Sigs.GRAPH with type t = T.t) -> Fix__.Sigs.NUMBERING with type t = G.t