Class SubTreeMake.tree_model

method bounding_box : Graph__.XDot.bounding_box
method dst : 'edge -> 'vertex
method find_edge : 'vertex -> 'vertex -> 'edge
method get_cluster_layout : 'cluster -> Graph__.XDot.cluster_layout
method get_edge_layout : 'edge -> Graph__.XDot.edge_layout
method get_vertex_layout : 'vertex -> Graph__.XDot.node_layout
method iter_associated_vertex : ('vertex -> unit) -> 'vertex -> unit
method iter_clusters : ('cluster -> unit) -> unit
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 mem_edge : 'vertex -> 'vertex -> bool
method mem_edge_e : 'edge -> bool
method mem_vertex : 'vertex -> bool
method src : 'edge -> 'vertex