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

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.