Module type Search.G


module type G = sig .. end
Input signature of the functor 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