Module Persistent.Graph

module Graph: S 

Persistent Undirected Graphs.


Edges may be labeled or not:

Vertices may be concrete or abstract:

How to choose between concrete and abstract vertices for my graph implementation?

Usually, if you fall into one of the following cases, use abstract vertices:

In other cases, it is certainly easier to use concrete vertices.

module Concrete: 
functor (V : Sig.COMPARABLE) -> Sig.P with type V.t = V.t and type V.label = V.t and type E.t = V.t * V.t and type E.label = unit

Persistent Unlabeled Graphs.

module Abstract: 
functor (V : Sig.ANY_TYPE) -> Sig.P with type V.label = V.t and type E.label = unit

Abstract Persistent Unlabeled Graphs.

module ConcreteLabeled: 
functor (V : Sig.COMPARABLE) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> Sig.P 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

Persistent Labeled Graphs.

module AbstractLabeled: 
functor (V : Sig.ANY_TYPE) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> Sig.P with type V.label = V.t and type E.label = E.t

Abstract Persistent Labeled Graphs.