projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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 1
1:12:2
4 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-14 1
3:52:0
4 CET by Kim Nguyen>
*)
INCLUDE "utils.ml"
*)
INCLUDE "utils.ml"
@@
-174,7
+174,7
@@
module Make (T : Tree.Sig.S) :
loop node []
let eval auto tree node =
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
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
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
let () = at_exit (fun () ->
let num_phi = ref 0 in
let num_trans = ref 0 in