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.

Functor Graphviz.Dot