module Oper: sig
.. end
Basic operations over graphs
module type S = sig
.. end
module Make: functor (
G
:
Sig.G
) ->
functor (
B
:
Builder.S
with module G = G
) ->
S
with type g = G.t
module P: functor (
G
:
Sig.P
) ->
S
with type g = G.t
Basic operations over persistent graphs
module I: functor (
G
:
Sig.I
) ->
S
with type g = G.t
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
Creates subgraphs induced by the remaining vertices
module Difference: sig
.. end