Module Cudd.Memo

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.Cache.t (*CUDD local cache*)
| Hash of Cudd.Hash.t (*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.

*)
Type of memoization table
val clear : t -> unit