Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


ViewGraph_test
This is only a test file to show how to use ViewGraph and ViewGraph_select.
ViewGraph_utils
This file provide useful function to build windows to put the graph
ViewGraph_select
This module can be used to add some selection feature to ViewGraph.
ViewGraph
ViewGraph : a library to view .dot graphs and interact with the GUI.
Util
Some useful operations.
Traverse
Graph traversal.
Topological
Topological order.
Strat
Strategies
Sig_pack
Immediate access to the library: contain a signature gathering an imperative graph signature and all algorithms.
Sig
Signatures for graph implementations.
Rand
Random graph generation.
Persistent
Persistent Graph Implementations.
Path
Paths
Pack
Immediate access to the library: provides implementation of imperative graphs labeled with integer as well as algorithms on such graphs.
Oper
Basic operations over graphs
Minsep
Minimal separators of a graph
Md
Minimum Degree algorithm
Mcs_m
Maximal Cardinality Search (MCS-M) algorithm
Kruskal
Kruskal's algorithm.
Imperative
Imperative Graph Implementations.
Graphviz
Interface with GraphViz
Gml
Parser and pretty-printer for GML file format.
Gmap
Graph mapping.
Flow
Algorithms on flows
Dot_parser
Dot_ast
AST for DOT file format.
Dot
Parser for DOT file format.
Delaunay
Delaunay triangulation.
Components
Strongly connected components.
Coloring
k-coloring of undirected graphs.
Cliquetree
Construction of the clique tree of a graph and recognition of chordal graphs.
Classic
Some classic graphs
Builder
Graph builders in order to persistent/imperative graphs sharing a same signature.