Class type Graph__DGraphModel.abstract_model

Immutable graph model. Layout accessors, iterators and membership functions.

method iter_edges : ('vertex -> 'vertex -> unit) -> unit
method iter_edges_e : ('edge -> unit) -> unit
method iter_pred : ('vertex -> unit) -> 'vertex -> unit
method iter_pred_e : ('edge -> unit) -> 'vertex -> unit
method iter_succ : ('vertex -> unit) -> 'vertex -> unit
method iter_succ_e : ('edge -> unit) -> 'vertex -> unit
method iter_vertex : ('vertex -> unit) -> unit
method iter_clusters : ('cluster -> unit) -> unit
method iter_associated_vertex : ('vertex -> unit) -> 'vertex -> unit
method find_edge : 'vertex -> 'vertex -> 'edge

Membership functions

method mem_edge : 'vertex -> 'vertex -> bool
method mem_edge_e : 'edge -> bool
method mem_vertex : 'vertex -> bool
method src : 'edge -> 'vertex
method dst : 'edge -> 'vertex
method bounding_box : Graph.XDot.bounding_box

Dot layout

method get_edge_layout : 'edge -> Graph.XDot.edge_layout
raises Multiple_layouts

when there are several possible layouts for the given edge

method get_vertex_layout : 'vertex -> Graph.XDot.node_layout
method get_cluster_layout : 'cluster -> Graph.XDot.cluster_layout