X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=e4bbd2d2ba3f3581c40bdc152b20a804f271a8c6;hb=be1caa5c46009c13241cc48ed34a36ee2936ef87;hp=ba0fc440d91261d8ad7c6419bc807f0dc582fbf6;hpb=477c1bef21a38e8371a745da9491fd6a6aae2aa5;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index ba0fc44..e4bbd2d 100644
--- a/tree.mli
+++ b/tree.mli
@@ -56,6 +56,8 @@ val select_foll_ctx : t -> Ptset.Int.t ->  [ `Tree ] node -> [`Tree] node -> [ `
 
 val count : t -> string -> int
 val print_xml_fast : out_channel -> t -> [ `Tree ] node -> unit
+val print_xml_fast2 : out_channel -> t -> [ `Tree ] node -> unit
+val print_xml_fast3 : t -> [ `Tree ] node -> Unix.file_descr -> unit
 
 val tags_children : t -> Tag.t -> Ptset.Int.t
 val tags_below : t -> Tag.t -> Ptset.Int.t
@@ -63,6 +65,7 @@ val tags_siblings : t -> Tag.t -> Ptset.Int.t
 val tags_after : t -> Tag.t -> Ptset.Int.t
 val tags : t ->  Tag.t  -> Ptset.Int.t*Ptset.Int.t*Ptset.Int.t*Ptset.Int.t
 val is_below_right : t ->  [`Tree] node ->  [`Tree] node -> bool
+val is_binary_ancestor : t ->  [`Tree] node ->  [`Tree] node -> bool
 val is_left : t ->  [`Tree] node -> bool
 
 val binary_parent : t ->  [`Tree] node -> [`Tree] node 
@@ -73,8 +76,13 @@ val text_size : t -> int
 val doc_ids : t ->  [`Tree] node ->  [`Text] node *  [`Text] node 
 val subtree_tags : t -> Tag.t ->  [`Tree] node -> int
 val get_text : t -> [`Tree] node ->  string
+val get_text_id : t -> [`Tree] node ->  [`Text ] node
 
 val dump_tree : Format.formatter -> t -> unit
 val subtree_size : t -> [`Tree] node -> int
+val subtree_elements : t -> [`Tree] node -> int
 val text_below : t -> [`Tree] node -> [`Tree] node
 val text_next :  t -> [`Tree] node -> [`Tree] node -> [`Tree] node 
+
+val closing : t -> [`Tree] node -> [`Tree] node
+val is_open : t -> [`Tree] node -> bool