Write the caching module in a more systematic way.

[tatoo.git] / src / auto / eval.ml

diff --git a/src/auto/eval.ml b/src/auto/eval.ml
index 71adf56..a5b30f1 100644 (file)
--- a/src/auto/eval.ml
+++ b/src/auto/eval.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-14 11:12:24 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-14 13:52:04 CET by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -174,7 +174,7 @@ module Make (T : Tree.Sig.S) :
     loop node []
 
   let eval auto tree node =
-    let cache = Cache.N1.create (T.size tree) StateSet.empty in
+    let cache = Cache.N1.create StateSet.empty in
     let redo = ref true in
     let iter = ref 0 in
     let dummy2 = Ata.TransList.cons
@@ -182,8 +182,8 @@ module Make (T : Tree.Sig.S) :
       Ata.TransList.nil
     in
     let dummy6 = (dummy2, StateSet.empty) in
-    let trans_cache6 = Cache.N6.create 17 dummy6 in
-    let trans_cache2 = Cache.N2.create 17 dummy2 in
+    let trans_cache6 = Cache.N6.create dummy6 in
+    let trans_cache2 = Cache.N2.create dummy2 in
     let () = at_exit (fun () ->
       let num_phi = ref 0 in
       let num_trans = ref 0 in