Condition.MakeConditionMapCuddTree
module L : Condition_map.L
type t = L.t CuddTree.t
val hash : 'a CuddTree.t -> CuddTree.id
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 mk : ConditionCudd.t -> IfHash.data -> IfHash.data -> IfHash.data
val create_partial : 'a CuddTree.t
val refine :
L.t CuddTree.t ->
cond:ConditionCudd.t ->
?notcond:'a ->
L.t ->
inter:(L.t -> L.t -> L.t) ->
TerminalHash.data
val find : 'a CuddTree.t -> Cudd.Man.d Cudd.Bdd.t -> 'b
module Cond = ConditionCudd
module L = L
type value = L.t
val fold_with_cond :
'a CuddTree.t ->
Cudd.Man.d Cudd.Bdd.t ->
'b ->
('a -> Cudd.Man.d Cudd.Bdd.t -> 'c -> 'c) ->
'd