Module Condition.MakeConditionMapCuddMTBDD

Parameters

Signature

type t = L.t CuddMTBDD.t
val fresh_id : unit -> int
val hash : 'a CuddMTBDD.t -> CuddMTBDD.id
val equal : 'a -> 'a -> bool
val pretty : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b CuddMTBDD.t -> unit
module TerminalHash : sig ... end
val sdbm : int -> int -> int
module IfHash : sig ... end
val weakhash_default_size : int
val tag_ref : int Stdlib.ref
val terminal_table : TerminalHash.t
val if_table : IfHash.t
val terminal : L.t -> TerminalHash.data
val create_partial : 'a CuddMTBDD.t
module Cond = ConditionCudd
module L = L
type value = L.t
module T : sig ... end
module Find_cache : sig ... end
val find_cache : L.t Find_cache.t
module Find_all_cache : sig ... end
val find_all_cache : L.t Find_all_cache.t
val find : T.t -> ConditionCudd.t -> L.t
module Refine_cache = Find_cache
module Loop_cache : sig ... end
module T2_cache : sig ... end
val replace_all : L.t -> 'a CuddMTBDD.t -> TerminalHash.data
module Value_cache : sig ... end
val refine : L.t CuddMTBDD.t -> cond:ConditionCudd.t -> ?notcond:'a -> L.t -> inter:(L.t -> L.t -> L.t) -> IfHash.data
val fold_with_cond : 'a -> 'b