Module DGraphContainer.Make

Parameters

Signature

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
module GView : DGraphView.S with type vertex = vertex and type edge = edge and type cluster = cluster
module TView : DGraphView.S with type vertex = Tree.V.t and type edge = Tree.E.t and type cluster = cluster
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