Class type DGraphView.view

class type [['vertex, 'edge, 'cluster]] view = object .. end
Graph widget derived from GnoCanvas.canvas. Support zooming and scrolling.
Inherits
method model : ('vertex, 'edge, 'cluster) DGraphModel.abstract_model
method get_node : 'vertex -> 'vertex DGraphViewItem.view_item
method get_edge : 'edge -> 'edge DGraphViewItem.view_item
method get_cluster : 'cluster -> 'cluster DGraphViewItem.view_item
method iter_nodes : ('vertex DGraphViewItem.view_item -> unit) -> unit
method iter_edges : ('vertex DGraphViewItem.view_item -> 'vertex DGraphViewItem.view_item -> unit) ->
unit
method iter_edges_e : ('edge DGraphViewItem.view_item -> unit) -> unit
method iter_clusters : ('cluster DGraphViewItem.view_item -> unit) -> unit
method iter_succ : ('vertex DGraphViewItem.view_item -> unit) ->
'vertex DGraphViewItem.view_item -> unit
method iter_pred : ('vertex DGraphViewItem.view_item -> unit) ->
'vertex DGraphViewItem.view_item -> unit
method iter_succ_e : ('edge DGraphViewItem.view_item -> unit) ->
'vertex DGraphViewItem.view_item -> unit
method iter_pred_e : ('edge DGraphViewItem.view_item -> unit) ->
'vertex DGraphViewItem.view_item -> unit
method iter_associated_vertex : ('vertex DGraphViewItem.view_item -> unit) ->
'vertex DGraphViewItem.view_item -> unit
method mem_edge : 'vertex DGraphViewItem.view_item -> 'vertex DGraphViewItem.view_item -> bool
method find_edge : 'vertex DGraphViewItem.view_item ->
'vertex DGraphViewItem.view_item -> 'edge DGraphViewItem.view_item
method src : 'edge DGraphViewItem.view_item -> 'vertex DGraphViewItem.view_item
method dst : 'edge DGraphViewItem.view_item -> 'vertex DGraphViewItem.view_item
method zoom_factor : float
The current zoom factor.
method zoom_to : float -> unit
Set an absolute zoom factor.
method zoom_in : unit -> unit
Increase zoom_factor by zoom_factor*zoom_padding.
method zoom_out : unit -> unit
Decrease zoom_factor by zoom_factor*zoom_padding.
method adapt_zoom : unit -> unit
Zoom in order to view the whole graph (bird eye view).
method set_zoom_padding : float -> unit
Set the zoom padding used by zoom_in and zoom_out. It defaults to 0.1.
method center_node : 'vertex DGraphViewItem.view_item -> unit
Center canvas on a node.
method connect_highlighting_event : unit -> unit
method highlight : ?color:int32 * int32 -> 'vertex DGraphViewItem.view_item -> unit
Change the color of the given vertex item. May be cancelled by dehighlight. If color is primary,secondary, then primary is used except if the current color is primary. In this case, secondary is used.
method dehighlight : 'vertex DGraphViewItem.view_item -> unit
Cancel highlight.