module Traverse:sig
..end
Graph traversal.
module type G =sig
..end
Minimal graph signature for Traverse.Dfs
and Traverse.Bfs
.
module Dfs:
Depth-first search
module Bfs:
Breadth-first search
Provide a more efficient version of depth-first algorithm when graph vertices are marked.
module type GM =sig
..end
Minimal graph signature for graph traversal with marking.
module Mark:
Graph traversal with marking.