Module DGraphTreeLayout.MakeFromDotModel.Tree

module Tree: Graphviz.GraphWithDotAttrs  with module V = Tree.V
                                           and module E = Tree.E
                                           and type t = Tree.t

include Sig.G
val graph_attributes : t -> Graphviz.DotAttributes.graph list
Graph, vertex and edge attributes.

Vertex attributes
val default_vertex_attributes : t -> Graphviz.DotAttributes.vertex list
Vertex attributes
val vertex_name : V.t -> string
val vertex_attributes : V.t -> Graphviz.DotAttributes.vertex list

Edge attributes
val default_edge_attributes : t -> Graphviz.DotAttributes.edge list
Edge attributes
val edge_attributes : E.t -> Graphviz.DotAttributes.edge 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.