Module Graphviz

module Graphviz: sig .. end

Interface with GraphViz

This module provides a basic interface with dot and neato, two programs of the GraphViz toolbox. These tools are available at the following URLs:

http://www.graphviz.org/

http://www.research.att.com/sw/tools/graphviz/

Common stuff

Because the neato and dot engines present a lot of common points - in particular in the graph description language, large parts of the code is shared. The CommonAttributes module defines attributes of graphs, vertices and edges that are understood by the two engines. Then module DotAttributes and NeatoAttributes define attributes specific to dot and neato respectively.

Common attributes

type color = int

type arrow_style = [ `Dot | `Inv | `Invdot | `Invodot | `None | `Normal | `Odot ]

module CommonAttributes: sig .. end

The CommonAttributes module defines attributes for graphs, vertices and edges that are available in the two engines, dot and neato.

Interface with the dot engine

module DotAttributes: sig .. end

The DotAttributes module defines attributes for graphs, nodes and edges that are available in the dot engine.

module Dot: functor (X : sigtype t 

module V: sig .. end
module E: sig .. end
val iter_vertex : (V.t -> unit) -> t -> unit
val iter_edges_e : (E.t -> unit) -> t -> unit
val graph_attributes : t -> Graphviz.DotAttributes.graph list
val default_vertex_attributes : t -> Graphviz.DotAttributes.vertex list
val vertex_name : V.t -> string
val vertex_attributes : V.t -> Graphviz.DotAttributes.vertex list
val default_edge_attributes : t -> Graphviz.DotAttributes.edge list
val edge_attributes : E.t -> Graphviz.DotAttributes.edge list
val get_subgraph : V.t -> Graphviz.DotAttributes.subgraph option
end) -> sig .. end

The neato engine

module NeatoAttributes: sig .. end

The NeatoAttributes module defines attributes for graphs, nodes and edges that are available in the neato engine.

module Neato: functor (X : sigtype t 

module V: sig .. end
module E: sig .. end
val iter_vertex : (V.t -> unit) -> t -> unit
val iter_edges_e : (E.t -> unit) -> t -> unit
val graph_attributes : t -> Graphviz.NeatoAttributes.graph list
val default_vertex_attributes : t -> Graphviz.NeatoAttributes.vertex list
val vertex_name : V.t -> string
val vertex_attributes : V.t -> Graphviz.NeatoAttributes.vertex list
val default_edge_attributes : t -> Graphviz.NeatoAttributes.edge list
val edge_attributes : E.t -> Graphviz.NeatoAttributes.edge list
val get_subgraph : V.t -> Graphviz.NeatoAttributes.subgraph option
end) -> sig .. end