(***********************************************************************)
(*
- 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"
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
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