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.