module Memo:sig
..end
type
memo_discr =
| |
Global |
(* | CUDD global cache (arity no more than 2, currently) | *) |
| |
Cache |
|||
| |
Hash |
type
t =
| |
Global |
(* | CUDD global cache (arity no more than 2, currently) | *) |
| |
Cache of |
(* | CUDD local cache | *) |
| |
Hash of |
(* | CUDD local hash table
It is up to the user to clear regularly such a table. Forgetting to do so will prevent garbage collection of nodes stored in the table, which can only grows, unlike local caches. | *) |
val clear : t -> unit