Functor Graphviz.Dot

module Dot: 
functor (X : sig

Graph implementation. Sub-signature of Sig.G
type 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

Graph, vertex and edge attributes.
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 get_subgraph : V.t -> Graphviz.DotAttributes.subgraph option
The box (if exists) which the vertex belongs to. Boxes with same names are not distinguished and so they should have the same attributes.
val default_edge_attributes : t -> Graphviz.DotAttributes.edge list
val edge_attributes : E.t -> Graphviz.DotAttributes.edge list
end) -> sig .. end
Parameters:
X : sig (** Graph implementation. Sub-signature of {!Sig.G} *) type t module V : sig type t end module E : sig type t val src : t -> V.t val dst : t -> V.t end val iter_vertex : (V.t -> unit) -> t -> unit val iter_edges_e : (E.t -> unit) -> t -> unit (** Graph, vertex and edge attributes. *) val graph_attributes: t -> DotAttributes.graph list val default_vertex_attributes: t -> DotAttributes.vertex list val vertex_name : V.t -> string val vertex_attributes: V.t -> DotAttributes.vertex list val get_subgraph : V.t -> DotAttributes.subgraph option (** The box (if exists) which the vertex belongs to. Boxes with same names are not distinguished and so they should have the same attributes. *) val default_edge_attributes: t -> DotAttributes.edge list val edge_attributes: E.t -> DotAttributes.edge list end

val fprint_graph : Format.formatter -> X.t -> unit
fprint_graph ppf graph pretty prints the graph graph in the CGL language on the formatter ppf.
val output_graph : Pervasives.out_channel -> X.t -> unit
output_graph oc graph pretty prints the graph graph in the dot language on the channel oc.