Functor Traverse.Bfs

module Bfs: functor (G : G) -> sig  end

Breadth-first search

Parameters:

G : Traverse.G

Classical big-step iterators

val iter : (G.V.t -> unit) -> Traverse.G.t -> unit

val iter_component : (G.V.t -> unit) -> Traverse.G.t -> G.V.t -> unit

Step-by-step iterator

See module Dfs

type iterator

val start : Traverse.G.t -> iterator

val step : iterator -> iterator

val get : iterator -> G.V.t