DGraphContainer.Makemodule G : Graph.Graphviz.GraphWithDotAttrsinclude S with type graph = G.t and type vertex = G.V.t and type edge = G.E.ttype graph = G.ttype vertex = G.V.ttype edge = G.E.tmodule Tree : Graph.Sig.G with type V.label = vertextype global_view = ( vertex, edge, cluster ) DGraphView.viewtype tree_view = ( Tree.V.t, Tree.E.t, cluster ) DGraphView.viewclass view_container : ?packing:( GObj.widget ->
unit ) -> ?status:status -> ?default_callbacks:bool -> mk_global_view:(
unit ->
global_view ) -> mk_tree_view:( depth_backward:int ->
depth_forward:int ->
Gtk.widget Gtk.obj ->
vertex ->
tree_view ) -> vertex option -> [ vertex,
edge,
cluster,
Tree.V.t,
Tree.E.t,
cluster ]
view_container_typeval from_graph :
?packing:( GObj.widget -> unit ) ->
?status:status ->
?default_callbacks:bool ->
?mk_global_view:
( ( G.V.t, G.E.t, cluster ) Graph.DGraphModel.abstract_model ->
global_view ) ->
?mk_tree_view:
( ( Tree.V.t, Tree.E.t, cluster ) Graph.DGraphModel.abstract_model ->
tree_view ) ->
?root:G.vertex ->
G.t ->
view_containerval from_graph_with_commands :
?packing:( GObj.widget -> unit ) ->
?status:status ->
?default_callbacks:bool ->
?mk_global_view:
( ( G.V.t, G.E.t, cluster ) Graph.DGraphModel.abstract_model ->
global_view ) ->
?mk_tree_view:
( ( Tree.V.t, Tree.E.t, cluster ) Graph.DGraphModel.abstract_model ->
tree_view ) ->
?root:G.vertex ->
G.t ->
GPack.table * view_container