X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.mli;h=bc4cd482e0040367ae64383f4970c68e3f17e768;hb=798507d52a5c11a6d852740056464241538fe76a;hp=9057c102ee1296cfc4d17a29b951cff4d8c80af2;hpb=d7c0e0d3ae22f01c69f0352a25db3eaaab02406f;p=SXSI%2Fxpathcomp.git

diff --git a/src/cache.mli b/src/cache.mli
index 9057c10..bc4cd48 100644
--- a/src/cache.mli
+++ b/src/cache.mli
@@ -7,7 +7,7 @@ sig
   val find : 'a t -> int -> 'a
   val add : 'a t -> int -> 'a -> unit
   val dummy : 'a t -> 'a
-
+  val iteri : (int -> 'a -> bool -> unit) -> 'a t -> unit
 end
 
 module Lvl2:
@@ -17,7 +17,7 @@ sig
     val find : 'a t -> int -> int -> 'a
     val add : 'a t -> int -> int -> 'a -> unit
     val dummy : 'a t -> 'a
-
+    val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit
 end
 
 module Lvl3 :
@@ -29,5 +29,6 @@ module Lvl3 :
     val find : 'a t -> int -> int -> int -> 'a
     val add : 'a t -> int -> int -> int -> 'a -> unit
     val dummy : 'a t -> 'a
+    val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
  
   end