object
method adapt_zoom : unit -> unit
method depth_backward : int
method depth_forward : int
method global_view : ('a, 'b, 'c) DGraphView.view option
method set_depth_backward : int -> unit
method set_depth_forward : int -> unit
method set_tree_root : 'a -> unit
method status : DGraphContainer.status
method switch : DGraphContainer.status -> unit
method tree_root : 'a option
method tree_view : ('d, 'e, 'f) DGraphView.view option
end