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

Vertex attributes
val default_vertex_attributes : t -> Graphviz.DotAttributes.vertex list
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
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.