X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.mli;h=bc4cd482e0040367ae64383f4970c68e3f17e768;hb=1d6a3a063ccce5c746801045601b5d96bb2804b6;hp=2d52dc70c5ae9095d89aaa5f7c61b1e243788646;hpb=92e6cc9537b4751588ecb93c99685bc91d6797a0;p=SXSI%2Fxpathcomp.git

diff --git a/src/cache.mli b/src/cache.mli
index 2d52dc7..bc4cd48 100644
--- a/src/cache.mli
+++ b/src/cache.mli
@@ -1,12 +1,3 @@
-type 'a t
-
-val create : int -> 'a -> 'a t
-val find : 'a t -> int -> 'a
-val add : 'a t -> int -> 'a -> unit
-val dummy : 'a t -> 'a
-val to_array : 'a t -> 'a array
-
-
 module Lvl1 :
 sig
 
@@ -16,22 +7,17 @@ sig
   val find : 'a t -> int -> 'a
   val add : 'a t -> int -> 'a -> unit
   val dummy : 'a t -> 'a
-  val to_array : 'a t -> 'a array
-
+  val iteri : (int -> 'a -> bool -> unit) -> 'a t -> unit
 end
 
 module Lvl2:
 sig
-
     type 'a t
-
-    val create : ?l1_size:int -> int -> 'a -> 'a t
+    val create : int -> 'a -> 'a t
     val find : 'a t -> int -> int -> 'a
     val add : 'a t -> int -> int -> 'a -> unit
     val dummy : 'a t -> 'a
-    val dummy_line :  'a t -> 'a array
-    val to_array : 'a t -> 'a array array
-
+    val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit
 end
 
 module Lvl3 :
@@ -39,10 +25,10 @@ module Lvl3 :
 
     type 'a t
 
-    val create : ?l1_size:int -> ?l2_size:int -> int -> 'a -> 'a t
+    val create : int -> 'a -> 'a t
     val find : 'a t -> int -> int -> int -> 'a
     val add : 'a t -> int -> int -> int -> 'a -> unit
     val dummy : 'a t -> 'a
-    val to_array : 'a t -> 'a array array array
-
+    val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
+ 
   end