Index of modules


A
Abstract [Imperative.S]
Abstract Imperative Unlabeled Graphs.
Abstract [Persistent.S]
Abstract Persistent Unlabeled Graphs.
AbstractLabeled [Imperative.S]
Abstract Imperative Labeled Graphs.
AbstractLabeled [Persistent.S]
Abstract Persistent Labeled Graphs.
Algo [Strat]
Implements strategy algorithms on graphs

B
Bfs [Traverse]
Breadth-first search
Bfs [Sig_pack.S]
Breadth-first search
Builder
Graph builders in order to persistent/imperative graphs sharing a same signature.

C
CMPProduct [Util]
Cartesian product of two comparable types.
CVS [Cliquetree.CliqueTree]
Set of original vertices
Check [Path]
Check for a path.
Choose [Oper]
Choose an element in a graph
Classic
Some classic graphs
Classic [Sig_pack.S]
Classic graphs
CliqueTree [Cliquetree.CliqueTree]
The clique tree graph type
CliqueTree [Cliquetree]
CliqueTreeE [Cliquetree.CliqueTree]
CliqueTreeV [Cliquetree.CliqueTree]
Clique tree vertex type
CliqueV [Cliquetree.CliqueTree]
Original graph vertex
Cliquetree
Construction of the clique tree of a graph and recognition of chordal graphs.
Coloring
k-coloring of undirected graphs.
CommonAttributes [Graphviz]
The CommonAttributes module defines attributes for graphs, vertices and edges that are available in the two engines, dot and neato.
Components
Strongly connected components.
Components [Sig_pack.S]
Strongly connected components
Concrete [Imperative.S]
Imperative Unlabeled Graphs.
Concrete [Persistent.S]
Persistent Unlabeled Graphs.
ConcreteBidirectional [Imperative.Digraph]
Imperative Unlabeled, bidirectional graph (gives predecessors in constant time).
ConcreteLabeled [Imperative.S]
Imperative Labeled Graphs.
ConcreteLabeled [Persistent.S]
Persistent Labeled Graphs.

D
DataV [Util]
Create a vertex type with some data attached to it
Delaunay
Delaunay triangulation.
Dfs [Traverse]
Depth-first search
Dfs [Sig_pack.S]
Depth-first search
Digraph [Pack]
Directed imperative graphs with edges and vertices labeled with integer.
Digraph [Imperative.Matrix]
Imperative Directed Graphs implemented with adjacency matrices.
Digraph [Imperative]
Imperative Directed Graphs.
Digraph [Persistent]
Persistent Directed Graphs.
Dijkstra [Path]
Dot
Parser for DOT file format.
Dot [Graphviz]
DotAttributes [Graphviz]
DotAttributes extends CommonAttributes and implements ATTRIBUTES.
Dot_ast
AST for DOT file format.

E
E [Gmap.E_SRC]
E [Gml.G]
E [Flow.G_FORD_FULKERSON]
E [Flow.G_GOLDBERG]
E [Kruskal.G]
E [Path.G]
E [Sig_pack.S]
Edges
E [Sig.G]
Edges have type E.t and are labeled with type E.label.
Edge [Gmap]
Provide a mapping function from a mapping of edges.

F
Float [Delaunay]
Delaunay triangulation with floating point coordinates
FloatPoints [Delaunay]
Points with floating point coordinates
Flow
Algorithms on flows
Ford_Fulkerson [Flow]

G
G [Minsep.MINSEP]
Implementation of a graph
G [Builder.S]
Generic [Kruskal]
Functor providing an implementation of the Kruskal's algorithm computing spanning trees using an user-defined union-find algorithm.
Gmap
Graph mapping.
Gml
Parser and pretty-printer for GML file format.
Goldberg [Flow]
Graph [Pack]
Undirected imperative graphs with edges and vertices labeled with integer.
Graph [Imperative.Matrix]
Imperative Undirected Graphs implemented with adjacency matrices.
Graph [Imperative]
Imperative Undirected Graphs.
Graph [Persistent]
Persistent Undirected Graphs.
Graphviz
Interface with GraphViz

H
H [Coloring.Make]
Hash tables used to store the coloring
HTProduct [Util]
Cartesian product of two hashable types.

I
I [Md]
I [Mcs_m.MaximalCardinalitySearch]
I [Minsep]
Implementation for an imperative graph.
I [Oper]
Basic operations over imperative graphs
I [Rand.Planar]
Random imperative planar graphs
I [Rand]
Random imperative graphs
I [Classic]
Classic Imperative Graphs
I [Builder]
Imperative Graphs Builders.
Imperative
Imperative Graph Implementations.
Int [Delaunay]
Delaunay triangulation with integer coordinates
IntPoints [Delaunay]
Points with integer coordinates

K
Kruskal
Kruskal's algorithm.

M
Make [Kruskal]
Functor providing an implementation of the Kruskal's algorithm computing spanning trees.
Make [Components]
Functor providing functions to compute strongly connected components of a graph.
Make [Topological]
Functor providing topological iterators over a graph.
Make [Coloring]
Provide a function for k-coloring a graph.
Make [Oper]
Basic operations over graphs
Make [Rand.Planar]
Random planar graphs
Make [Rand]
Random graphs
Make [Delaunay]
Generic Delaunay triangulation
Mark [Coloring.GM]
Mark [Coloring]
Provide a function for k-coloring a graph with integer marks.
Mark [Traverse.GM]
Mark [Traverse]
Graph traversal with marking.
Mark [Sig_pack.S]
Vertices contains integers marks, which can be set or used by some algorithms (see for instance module Marking below)
Mark [Sig.IM]
Mark on vertices.
Marking [Sig_pack.S]
Graph traversal with marking
Matrix [Imperative]
Imperative graphs implemented as adjacency matrices.
MaximalCardinalitySearch [Mcs_m]
Mcs_m
Maximal Cardinality Search (MCS-M) algorithm
Md
Minimum Degree algorithm
Minsep
Minimal separators of a graph

N
Neato [Graphviz]
NeatoAttributes [Graphviz]
The NeatoAttributes module defines attributes for graphs, nodes and edges that are available in the neato engine.
Neighbourhood [Oper]
Neighbourhood of vertex / vertices

O
OTProduct [Util]
Cartesian product of two ordered types.
Oper
Basic operations over graphs

P
P [Md]
P [Mcs_m.MaximalCardinalitySearch]
P [Minsep]
Implementation for a persistent graph
P [Oper]
Basic operations over persistent graphs
P [Rand.Planar]
Random persistent planar graphs
P [Rand]
Random persistent graphs
P [Classic]
Classic Persistent Graphs
P [Builder]
Persistent Graphs Builders.
Pack
Immediate access to the library: provides implementation of imperative graphs labeled with integer as well as algorithms on such graphs.
Parse [Dot]
Provide a parser for DOT file format.
Parse [Gml]
Provide a parser for GML file format.
Path
Paths
PathCheck [Sig_pack.S]
Path checking
Persistent
Persistent Graph Implementations.
Planar [Rand]
Print [Gml]
Provide a pretty-printer for GML file format.

R
Rand
Random graph generation.
Rand [Sig_pack.S]
Random graphs

S
S [Delaunay.Triangulation]
Sig
Signatures for graph implementations.
Sig_pack
Immediate access to the library: contain a signature gathering an imperative graph signature and all algorithms.
Strat
Strategies

T
Topological
Topological order.
Topological [Sig_pack.S]
Topological order
Traverse
Graph traversal.

U
Util
Some useful operations.

V
V [Strat.G]
V [Minsep.G]
V [Gmap.V_SRC]
V [Gml.G]
V [Flow.G_FORD_FULKERSON]
V [Flow.G_GOLDBERG]
V [Kruskal.G]
V [Components.G]
V [Topological.G]
V [Coloring.GM]
V [Coloring.G]
V [Traverse.GM]
V [Traverse.G]
V [Path.G]
V [Sig_pack.S]
Vertices
V [Sig.G]
Vertices have type V.t and are labeled with type V.label (note that an implementation may identify the vertex with its label)
VSetset [Minsep.MINSEP]
Implementation of a set of Vertex_Set
Vertex [Gmap]
Provide a mapping function from a mapping of vertices.
Vertex_Set [Minsep.MINSEP]
Implementation of a set of vertex
Vertex_Set [Oper.Neighbourhood]