Class DGraphView.view


class [['a, 'b, 'c]] view : ?delay_node:'a -> bool -> ?delay_edge:'b -> bool -> ?delay_cluster:'c -> bool -> GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> object .. end
Graph widget derived from GnoCanvas.canvas. Support zooming and scrolling.
Inherits
method model : ('a, 'b, 'c) DGraphModel.abstract_model

Getters

method get_node : 'a -> 'a DGraphViewItem.view_item
method get_edge : 'b -> 'b DGraphViewItem.view_item
method get_cluster : 'c -> 'c DGraphViewItem.view_item

Iterators

method iter_nodes : ('a 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_clusters : ('c DGraphViewItem.view_item -> unit) -> unit
method iter_succ : ('a DGraphViewItem.view_item -> unit) -> 'a DGraphViewItem.view_item -> unit
method iter_pred : ('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 iter_pred_e : ('b DGraphViewItem.view_item -> unit) -> 'a DGraphViewItem.view_item -> unit

Membership functions

method mem_edge : 'a DGraphViewItem.view_item -> 'a DGraphViewItem.view_item -> bool
method find_edge : 'a DGraphViewItem.view_item ->
'a DGraphViewItem.view_item -> 'b DGraphViewItem.view_item
method src : 'b DGraphViewItem.view_item -> 'a DGraphViewItem.view_item
method dst : 'b DGraphViewItem.view_item -> 'a DGraphViewItem.view_item

Zooming

method zoom_factor : float
method zoom_to : float -> unit
method zoom_in : unit -> unit
method zoom_out : unit -> unit
method adapt_zoom : unit -> unit
method set_zoom_padding : float -> unit
Set the zoom padding used by zoom_in and zoom_out.

Highlighting

method connect_highlighting_event : unit -> unit
method highlight : ?color:string * string -> 'a 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 : 'a DGraphViewItem.view_item -> unit
Cancel highlight.