module type G = sig
.. end
Sub-signature of Graph.Sig.G
module V: Graph.Sig.VERTEX
with type t = State.t and type label = State.t
module E: Graph.Sig.EDGE
with type vertex = State.t
and type t = State.t * State.t
type
t
Since Carbon-20101201
val iter_vertex : (V.t -> unit) -> t -> unit
Since Carbon-20101201
val fold_vertex : (V.t -> 'a -> 'a) ->
t -> 'a -> 'a
Since Carbon-20101201
val iter_edges_e : (E.t -> unit) -> t -> unit
Since Carbon-20101201
val fold_edges : (V.t -> V.t -> 'a -> 'a) ->
t -> 'a -> 'a
Since Carbon-20101201
val fold_edges_e : (E.t -> 'a -> 'a) ->
t -> 'a -> 'a
Since Carbon-20101201
val iter_succ : (V.t -> unit) ->
t -> V.t -> unit
Since Carbon-20101201
val fold_succ : (V.t -> 'a -> 'a) ->
t -> V.t -> 'a -> 'a
Since Carbon-20101201
val fold_pred : (V.t -> 'a -> 'a) ->
t -> V.t -> 'a -> 'a
Since Carbon-20101201
val mem_vertex : t -> V.t -> bool
Since Carbon-20101201
val mem_edge_e : t -> E.t -> bool
Since Carbon-20101201
val in_degree : t -> V.t -> int
Since Carbon-20101201
val out_degree : t -> V.t -> int
Since Carbon-20101201
val nb_vertex : t -> int
Since Carbon-20101201