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