Module type Search.G
module type G =Input signature of the functorsig
..end
Search.Make
. This minimal multi-graph interface
is a ``subset'' of the MultiGraph.G
signature.type
t
module Vertex:sig
..end
module Edge:sig
..end
val mem_vertex : t -> Vertex.t -> bool
val iter_succ : (Edge.t -> unit) -> t -> Vertex.t -> unit
val fold_succ : (Edge.t -> 'a -> 'a) -> t -> Vertex.t -> 'a -> 'a
val iter_pred : (Edge.t -> unit) -> t -> Vertex.t -> unit
val fold_pred : (Edge.t -> 'a -> 'a) -> t -> Vertex.t -> 'a -> 'a