Module Cudd.Hash

module Hash: sig .. end

type t

Abstract type for user hashtables

val _create : int -> int -> t

val table : t Weak.t Pervasives.ref

Internal table

val create : ?size:int -> int -> t

create ~size:n arity create a hashtable of arity arity, of the optional size n

val arity : t -> int

Returns the arity of the hashtable

val clear : t -> unit

Clears the content of the hashtable

val clear_all : unit -> unit

Clears the content of all created hashtables