Class type CondDD.db

class type db = object .. end

• Bddvar.db

val v_cond : DHashCond.t

val mutable v_careset : Bdd.t

method cond : DHashCond.t

method careset : Bdd.t

method set_careset : Bdd.t -> unit

method cond_of_idb : int * bool -> cond