Module DGraphSubTree.Make_from_dot_modelSource

Parameters

module Tree : Tree with type V.label = DGraphModel.DotG.V.t and type E.label = unit

Signature

include S with module Tree = Tree
Sourcemodule Tree = Tree
Sourcetype t
Sourceval get_structure : t -> Tree.t
Sourceval get_root : t -> Tree.V.t
Sourceval get_tree_vertices : Tree.V.label -> t -> Tree.V.t list
Sourceval is_ghost_node : Tree.V.t -> t -> bool
Sourceval is_ghost_edge : Tree.E.t -> t -> bool
Sourceexception Ghost_node
Sourceval get_graph_vertex : Tree.V.t -> t -> Tree.V.label