`sig
class type ['a, 'b, 'c] view =
object
val obj : GnomeCanvas.canvas Gtk.obj
method aa : bool
method adapt_zoom : unit -> unit
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method bin_window : Gdk.window
method border_width : int
method c2w : cx:float -> cy:float -> float * float
method center_node : 'a DGraphViewItem.view_item -> unit
method children : GObj.widget list
method coerce : GObj.widget
method connect : GContainer.container_signals
method connect_highlighting_event : unit -> unit
method dehighlight : 'a DGraphViewItem.view_item -> unit
method destroy : unit -> unit
method drag : GObj.drag_ops
method dst : 'b DGraphViewItem.view_item -> 'a DGraphViewItem.view_item
method event : GObj.event_ops
method find_edge :
'a DGraphViewItem.view_item ->
'a DGraphViewItem.view_item -> 'b DGraphViewItem.view_item
method focus : GContainer.focus
method freeze : unit -> unit
method get_center_scroll_region : bool
method get_cluster : 'c -> 'c DGraphViewItem.view_item
method get_edge : 'b -> 'b DGraphViewItem.view_item
method get_item_at : x:float -> y:float -> GnoCanvas.base_item
method get_node : 'a -> 'a DGraphViewItem.view_item
method get_oid : int
method get_scroll_offsets : int * int
method get_scroll_region : float array
method hadjustment : GData.adjustment
method height : int
method highlight :
?color:int32 * int32 -> 'a DGraphViewItem.view_item -> unit
method iter_associated_vertex :
('a DGraphViewItem.view_item -> unit) ->
'a DGraphViewItem.view_item -> unit
method iter_clusters : ('c DGraphViewItem.view_item -> unit) -> unit
method iter_edges :
('a DGraphViewItem.view_item -> 'a DGraphViewItem.view_item -> unit) ->
unit
method iter_edges_e : ('b DGraphViewItem.view_item -> unit) -> unit
method iter_nodes : ('a DGraphViewItem.view_item -> unit) -> unit
method iter_pred :
('a DGraphViewItem.view_item -> unit) ->
'a DGraphViewItem.view_item -> unit
method iter_pred_e :
('b DGraphViewItem.view_item -> unit) ->
'a DGraphViewItem.view_item -> unit
method iter_succ :
('a DGraphViewItem.view_item -> unit) ->
'a DGraphViewItem.view_item -> unit
method iter_succ_e :
('b DGraphViewItem.view_item -> unit) ->
'a DGraphViewItem.view_item -> unit
method mem_edge :
'a DGraphViewItem.view_item -> 'a DGraphViewItem.view_item -> bool
method misc : GObj.misc_ops
method model : ('a, 'b, 'c) DGraphModel.abstract_model
method move : GObj.widget -> x:int -> y:int -> unit
method put : GObj.widget -> x:int -> y:int -> unit
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method root : GnoCanvas.group
method scroll_to : x:int -> y:int -> unit
method set_border_width : int -> unit
method set_center_scroll_region : bool -> unit
method set_hadjustment : GData.adjustment -> unit
method set_height : int -> unit
method set_pixels_per_unit : float -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_scroll_region :
x1:float -> y1:float -> x2:float -> y2:float -> unit
method set_vadjustment : GData.adjustment -> unit
method set_width : int -> unit
method set_zoom_padding : float -> unit
method src : 'b DGraphViewItem.view_item -> 'a DGraphViewItem.view_item
method thaw : unit -> unit
method update_now : unit -> unit
method vadjustment : GData.adjustment
method w2c : wx:float -> wy:float -> int * int
method w2c_affine : float array
method w2c_d : wx:float -> wy:float -> float * float
method width : int
method window_to_world : winx:float -> winy:float -> float * float
method world_to_window : wox:float -> woy:float -> float * float
method zoom_factor : float
method zoom_in : unit -> unit
method zoom_out : unit -> unit
method zoom_to : float -> unit
end
module type S =
sig
type vertex
type edge
type cluster
val view :
?aa:bool ->
?delay_node:(DGraphView.S.vertex -> bool) ->
?delay_edge:(DGraphView.S.edge -> bool) ->
?delay_cluster:(DGraphView.S.cluster -> bool) ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
(DGraphView.S.vertex, DGraphView.S.edge, DGraphView.S.cluster)
DGraphModel.abstract_model ->
(DGraphView.S.vertex, DGraphView.S.edge, DGraphView.S.cluster)
DGraphView.view
end
module Make :
functor (V : Sig.HASHABLE) ->
functor (E : Sig.HASHABLE) ->
functor (C : Sig.HASHABLE) ->
sig
type vertex = V.t
type edge = E.t
type cluster = C.t
val view :
?aa:bool ->
?delay_node:(vertex -> bool) ->
?delay_edge:(edge -> bool) ->
?delay_cluster:(cluster -> bool) ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
(vertex, edge, cluster) DGraphModel.abstract_model ->
(vertex, edge, cluster) view
end
end`