Module Imperative.Graph


module Graph: sig .. end
Imperative Undirected Graphs

module Concrete: 
functor (V : Sig.COMPARABLE) -> Sig.I with type V.t = V.t and type V.label = V.t and type E.t = V.t * V.t
Imperative Undirected Unlabeled Graphs
module Abstract: 
functor (V : sig
type t 
end) -> Sig.IA with type V.label = V.t
Abstract Imperative Undirected Unlabeled Graphs
module ConcreteLabeled: 
functor (V : Sig.COMPARABLE) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> Sig.I with type V.t = V.t and type V.label = V.t and type E.t = V.t * E.t * V.t and type E.label = E.t
Imperative Undirected Labeled Graphs
module AbstractLabeled: 
functor (V : sig
type t 
end) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> Sig.IA with type V.label = V.t and type E.label = E.t
Abstract Imperative Undirected Labeled Graphs