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
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