Class type Graph_gtk__DGraphContainer.view_container_type

method global_view : ('vertex'edge'cluster) Graph_gtk.DGraphView.view option
method tree_view : ('tree_vertex'tree_edge'tree_cluster) Graph_gtk.DGraphView.view option
method tree_root : 'vertex option
method depth_backward : int
method depth_forward : int
method status : status
method set_depth_backward : int -> unit
method set_depth_forward : int -> unit
method set_tree_root : 'vertex -> unit
method switch : status -> unit
method adapt_zoom : unit -> unit