Parameter Bfs.1-G
module V : Sig.COMPARABLE
val iter_vertex : (V.t -> unit) -> t -> unit
It is enough to iter over all the roots (vertices without predecessor) of the graph, even if iterating over the other vertices is correct.
Bfs.1-G
module V : Sig.COMPARABLE
val iter_vertex : (V.t -> unit) -> t -> unit
It is enough to iter over all the roots (vertices without predecessor) of the graph, even if iterating over the other vertices is correct.