module Oper:sig
..end
Basic operations over graphs
module type S =sig
..end
module Make:
Basic operations over graphs
module P:
Basic operations over persistent graphs
module I:
Basic operations over imperative graphs
module Choose:functor (
G
:
sig
type
t
type
vertex
type
edge
val iter_vertex :(vertex -> unit) -> t -> unit
val iter_edges_e :(edge -> unit) -> t -> unit
end
) ->
sig
..end
Choose an element in a graph
module Neighbourhood:functor (
G
:
sig
type
t
module V:Sig.COMPARABLE
val fold_succ :(V.t -> 'a -> 'a) -> t -> V.t -> 'a -> 'a
val succ :t -> V.t -> V.t list
end
) ->
sig
..end
Neighbourhood of vertex / vertices