Module Oper

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 : sigtype 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