Rename 'Tracer' module to 'Logger'.

[SXSI/xpathcomp.git] / src / tree.mli

diff --git a/src/tree.mli b/src/tree.mli
index db15525..0946a4c 100644 (file)
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -7,7 +7,6 @@ val parse_xml_uri : string -> t
 val parse_xml_string : string -> t
 val save : t -> string ->  unit
 val load : ?sample:int -> ?load_text:bool -> string -> t
-val tag_pool : t -> Tag.pool
 
 
 val nil : node
@@ -68,7 +67,8 @@ val closing : t -> node -> node
 val stats : t -> unit
 
 val num_tags : t -> int
-val tag_pool : t -> Tag.pool
+
+val tag_operations : t -> Tag.operations
 
 val print_xml : t -> node -> Unix.file_descr -> unit
 val flush : t -> Unix.file_descr -> unit
@@ -86,3 +86,8 @@ val full_text_suffix : t -> string -> node array
 val full_text_equals : t -> string -> node array
 
 val full_text_contains : t -> string -> node array
+
+type bit_vector
+val bit_vector_create : int -> bit_vector
+val bit_vector_unsafe_set : bit_vector -> int -> bool -> unit
+val bit_vector_unsafe_get : bit_vector -> int -> bool