Class type DGraphView.view
Graph widget derived from GnoCanvas.canvas
. Support zooming and scrolling.
inherit GnoCanvas.canvas
method model : ('vertex, 'edge, 'cluster) Graph.DGraphModel.abstract_model
Getters
method get_node : 'vertex -> 'vertex DGraphViewItem.view_item
method get_edge : 'edge -> 'edge DGraphViewItem.view_item
method get_cluster : 'cluster -> 'cluster DGraphViewItem.view_item
Iterators
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
Membership functions
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
Zooming
method set_zoom_padding : float -> unit
Set the zoom padding used by
zoom_in
andzoom_out
. It defaults to 0.1.
method center_node : 'vertex DGraphViewItem.view_item -> unit
Center canvas on a node.
Highlighting
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
. Ifcolor
isprimary,secondary
, thenprimary
is used except if the current color isprimary
. In this case,secondary
is used.
method dehighlight : 'vertex DGraphViewItem.view_item -> unit
Cancel
highlight
.