121193545bee44e80a066829890a820b1f9d23df
[tatoo.git] / src / utils / cache.mli
1 (***********************************************************************)
2 (*                                                                     *)
3 (*                               TAToo                                 *)
4 (*                                                                     *)
5 (*                     Kim Nguyen, LRI UMR8623                         *)
6 (*                   Universit√© Paris-Sud & CNRS                       *)
7 (*                                                                     *)
8 (*  Copyright 2010-2013 Universit√© Paris-Sud and Centre National de la *)
9 (*  Recherche Scientifique. All rights reserved.  This file is         *)
10 (*  distributed under the terms of the GNU Lesser General Public       *)
11 (*  License, with the special exception on linking described in file   *)
12 (*  ../LICENSE.                                                        *)
13 (*                                                                     *)
14 (***********************************************************************)
15
16 (*
17   Time-stamp: <Last modified on 2013-03-14 13:42:53 CET by Kim Nguyen>
18 *)
19
20 (** N-dimentional caches *)
21
22 module N1 :
23 sig
24
25   type 'a t
26   val create : 'a -> 'a t
27   val find : 'a t -> int -> 'a
28   val add : 'a t -> int -> 'a -> unit
29   val dummy : 'a t -> 'a
30   val iteri : (int -> 'a -> bool -> unit) -> 'a t -> unit
31 end
32
33 module N2:
34 sig
35     type 'a t
36     val create : 'a -> 'a t
37     val find : 'a t -> int -> int -> 'a
38     val add : 'a t -> int -> int -> 'a -> unit
39     val dummy : 'a t -> 'a
40     val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit
41 end
42
43 module N3 :
44   sig
45     type 'a t
46     val create : 'a -> 'a t
47     val find : 'a t -> int -> int -> int -> 'a
48     val add : 'a t -> int -> int -> int -> 'a -> unit
49     val dummy : 'a t -> 'a
50     val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
51   end
52
53 module N4 :
54   sig
55     type 'a t
56     val create : 'a -> 'a t
57     val find : 'a t -> int -> int -> int -> int -> 'a
58     val add : 'a t -> int -> int -> int -> int -> 'a -> unit
59     val dummy : 'a t -> 'a
60     val iteri : (int -> int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
61   end
62
63 module N5 :
64   sig
65     type 'a t
66     val create : 'a -> 'a t
67     val find : 'a t -> int -> int -> int -> int -> int -> 'a
68     val add : 'a t -> int -> int -> int -> int -> int -> 'a -> unit
69     val dummy : 'a t -> 'a
70     val iteri : (int -> int -> int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
71   end
72
73 module N6 :
74   sig
75     type 'a t
76     val create : 'a -> 'a t
77     val find : 'a t -> int -> int -> int -> int -> int -> int -> 'a
78     val add : 'a t -> int -> int -> int -> int -> int -> int -> 'a -> unit
79     val dummy : 'a t -> 'a
80     val iteri : (int -> int -> int -> int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
81   end