DGraphContainer.Make
module G : Graph.Graphviz.GraphWithDotAttrs
include S with type graph = G.t and type vertex = G.V.t and type edge = G.E.t
type graph = G.t
type vertex = G.V.t
type edge = G.E.t
module Tree : Graph.Sig.G with type V.label = vertex
type global_view = ( vertex, edge, cluster ) DGraphView.view
type tree_view = ( Tree.V.t, Tree.E.t, cluster ) DGraphView.view
class 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_type
val 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_container
val 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