X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.mli;fp=src%2Fcache.mli;h=87ddfd94826a8f30a37dea72113ea30b428cc3d2;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/src/cache.mli b/src/cache.mli
new file mode 100644
index 0000000..87ddfd9
--- /dev/null
+++ b/src/cache.mli
@@ -0,0 +1,37 @@
+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 Lvl2 :
+  sig
+
+    type 'a t
+
+    val create : ?l1_size:int -> 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
+
+  end
+
+module Lvl3 :
+  sig
+
+    type 'a t
+
+    val create : ?l1_size:int -> ?l2_size:int -> 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
+  end