(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-22 17:12:11 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-22 18:25:49 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
Ata.reset auto;
while !redo do
redo := false;
- Ata.reset auto;
+ Ata.reset auto; (* prevents the .cache2 and .cache4 memoization tables from growing too much *)
redo := top_down_run auto tree node cache !iter;
incr iter;
done;