Sig
Signatures for graph implementations.
Sig_pack
Immediate access to the library: contain a signature gathering an imperative graph signature and all algorithms.
Dot_ast
AST for DOT file format.
Util
Some useful operations.
Persistent
Persistent Graph Implementations.
Imperative
Imperative Graph Implementations.
Delaunay
Delaunay triangulation.
Builder
Graph builders in order to persistent/imperative graphs sharing a same signature.
Classic
Some classic graphs
Rand
Random graph generation.
Oper
Basic operations over graphs
Components
Strongly connected components.
Path
Paths
Nonnegative
Weighted graphs without negative-cycles.
Traverse
Graph traversal.
Coloring
k-coloring of undirected graphs.
Topological
Topological order.
Kruskal
Kruskal's minimum-spanning-tree algorithm.
Flow
Algorithms on flows
Prim
Functor providing an implementation of Prim's minimum-spanning-tree algorithm.
Dominator
Dominators
Graphviz
Interface with GraphViz
Gml
Parser and pretty-printer for GML file format.
Dot
Parser for DOT file format.
Pack
Immediate access to the library: provides implementation of imperative graphs labeled with integer as well as algorithms on such graphs.
Gmap
Graph mapping.
Minsep
Minimal separators of a graph
Cliquetree
Construction of the clique tree of a graph and recognition of chordal graphs.
Mcs_m
Maximal Cardinality Search (MCS-M) algorithm
Md
Minimum Degree algorithm
Strat
Strategies
Fixpoint
Fixpoint computation implemented using the work list algorithm.
Leaderlist
The leader list algorithm; it generates a list of basic blocks from a directed graph.
Contraction
Edge contraction for directed, edge-labeled graphs
Graphml
Generic GraphMl Printer
Merge
Provides functions to extend any module satisfying one of the signatures Sig.P, Sig.I and Builder.S .
Mincut
Minimal cutset of a graph
Clique
Graph cliques
XDotDraw
Parses xdot drawing operations
XDot
Reads layout information from xdot ASTs
DGraphModel
Abstract graph model
DGraphTreeLayout
DGraphSubTree
DGraphTreeModel
This functor creates a model centered on a vertex from a graph
DGraphViewItem
View items for the different elements of a graph.
DGraphView
View classes.
DGraphRandModel
DGraphContainer