Class SubTreeDotModelMake.tree_model

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