Module Condition.MakeConditionMapCuddTree

Parameters

Signature

type t = L.t CuddTree.t
val fresh_id : unit -> int
val hash : 'a CuddTree.t -> CuddTree.id
val equal : 'a -> 'a -> bool
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 pretty : 'a -> 'b -> unit
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