| _ -> assert false
let count = ref 0
-let () = at_exit (fun () -> Printf.eprintf "Compute jump called %i times\n" !count)
+let () = at_exit (fun () -> Logger.verbose Format.err_formatter "Compute jump called %i times\n" !count)
module Memo = Hashtbl.Make(struct
type t = Tag.t * StateSet.t * dir
let equal (a,b,c) (d,e,f) = a == d && b == e && c == f
let init () = Memo.clear memo
let compute_jump auto tree tag states dir =
- if !Options.no_jump then
+ if !Config.no_jump then
if dir == DIR_LEFT then FIRST_CHILD states
else NEXT_SIBLING states
else
| BOTH(tr, NOP _, r) -> RIGHT (tr, r)
| _ -> op
in
- if not !Options.no_cache then add cache2 tag states op;
+ if not !Config.no_cache then add cache2 tag states op;
op
let get_transitions = function