X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=89bf83dfc793664c9de28778ed5ff5dc780ca8b3;hb=25a3fa55f6de1835d2407283eeb43b01819543f6;hp=b252bab43dffb3f37964b4c139a00cd1dfc8c550;hpb=83aa6cf8a120ea6681402ce42ae56631fca1ddf4;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index b252bab..89bf83d 100644
--- a/tree.mli
+++ b/tree.mli
@@ -46,9 +46,21 @@ sig
   val has_tagged_foll : t -> Tag.t -> bool
   val tagged_desc : t -> Tag.t -> t
   val tagged_foll : t -> Tag.t -> t
-  val tagged_next : t -> Tag.t -> t
+  val tagged_below : t -> Ptset.t -> Ptset.t -> t
+  val tagged_next : t -> Ptset.t -> Ptset.t -> t -> t
+  val tagged_desc_only : t -> Ptset.t -> t
+  val tagged_foll_only : t -> Ptset.t -> t -> t
+  val text_below : t -> t
+  val text_next : t -> t -> t
+  val init_tagged_next : t -> Tag.t -> unit
   val subtree_tags : t -> Tag.t -> int
   val is_left : t -> bool
+  val print_id : Format.formatter -> t -> unit 
+  val test_xml_tree : Format.formatter -> Ptset.t -> t -> unit
+  val init_contains : t -> string -> unit
+  val init_naive_contains : t -> string -> unit
+  val mk_nil : t -> t
+  val test_jump : t -> Tag.t -> unit
 end
 
 module Binary : BINARY