|
|
@ -170,7 +170,9 @@
|
|
|
|
(vector->list x))))
|
|
|
|
(vector->list x))))
|
|
|
|
(vector->list table))
|
|
|
|
(vector->list table))
|
|
|
|
(length (hash-table-map ht cons)))))
|
|
|
|
(length (hash-table-map ht cons)))))
|
|
|
|
(printf "size: ~aKB~n" (/ (* 4.0 (+ 2 num-states (* 2 num-vectors) num-entries
|
|
|
|
(printf "~a states, ~aKB~n"
|
|
|
|
|
|
|
|
num-states
|
|
|
|
|
|
|
|
(/ (* 4.0 (+ 2 num-states (* 2 num-vectors) num-entries
|
|
|
|
(* 5 num-different-entries))) 1024)))
|
|
|
|
(* 5 num-different-entries))) 1024)))
|
|
|
|
(values table (dfa-start-state dfa) (dfa->actions dfa) (dfa->no-look dfa)
|
|
|
|
(values table (dfa-start-state dfa) (dfa->actions dfa) (dfa->no-look dfa)
|
|
|
|
(unbox disappeared-uses))))
|
|
|
|
(unbox disappeared-uses))))
|
|
|
|