Condition.MakeConditionMapCuddMTBDD
module L : Condition_map.L
type t = L.t CuddMTBDD.t
val hash : 'a CuddMTBDD.t -> CuddMTBDD.id
val pretty :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'b CuddMTBDD.t ->
unit
module TerminalHash : sig ... end
module IfHash : sig ... end
val terminal_table : TerminalHash.t
val if_table : IfHash.t
val terminal : L.t -> TerminalHash.data
val base_mk :
ConditionCudd.t ->
L.t CuddMTBDD.t ->
L.t CuddMTBDD.t ->
IfHash.data
val mk : ConditionCudd.t -> IfHash.data -> IfHash.data -> IfHash.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_cache :
(IfHash.data Refine_cache.t * IfHash.data Loop_cache.t T2_cache.t)
Value_cache.t
val refine :
L.t CuddMTBDD.t ->
cond:ConditionCudd.t ->
?notcond:'a ->
L.t ->
inter:(L.t -> L.t -> L.t) ->
IfHash.data