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