Module Traverse

module Traverse: sig .. end
Graph traversal.


Dfs and Bfs


module type G = sig .. end
Minimal graph signature for Traverse.Dfs and Traverse.Bfs.
module Dfs: 
functor (G : G) -> sig .. end
Depth-first search
module Bfs: 
functor (G : G) -> sig .. end
Breadth-first search

Traversal with marking

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: 
functor (G : GM) -> sig .. end
Graph traversal with marking.