Module Cudd.Cache


module Cache: sig .. end

type t 
Abstract type for local caches
val _create : int -> int -> int -> t
val create : ?size:int -> ?maxsize:int -> arity:int -> t
val create1 : ?size:int -> ?maxsize:int -> unit -> t
val create2 : ?size:int -> ?maxsize:int -> unit -> t
val create3 : ?size:int -> ?maxsize:int -> unit -> t
Creates local caches of the given arity, with initial size size and maximal size maxsize.
val arity : t -> int
Returns the arity of the local cache.
val clear : t -> unit
Clears the content of the local cache.