Class type DGraphContainer.view_container_type

class type [['a, 'b, 'c, 'd, 'e, 'f]] view_container_type = object .. end

method global_view : ('a, 'b, 'c) DGraphView.view option

method tree_view : ('d, 'e, 'f) DGraphView.view option

method tree_root : 'a 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 : 'a -> unit

method switch : status -> unit

method adapt_zoom : unit -> unit