Class type Formula.db


class type db = object .. end

method add_typ : Var.t -> typdef -> unit
method add_var : Var.t -> typ -> unit
method bddincr : int
method bddindex : int
method careset : Bdd.t
method cond : CondDD.DHashCond.t
method cond_of_idb : int * bool -> cond
method idcondvar : Var.t MappeI.t
method manager : Manager.t
method mem_typ : Var.t -> bool
method mem_var : Var.t -> bool
method print_external_idcondb : Format.formatter -> int * bool -> unit
method print_order : Format.formatter -> unit
method set_bddincr : int -> unit
method set_bddindex : int -> unit
method set_careset : Bdd.t -> unit
method set_idcondvar : Var.t MappeI.t -> unit
method set_print_external_idcondb : (Format.formatter -> int * bool -> unit) -> unit
method set_typdef : typdef Var.Map.t -> unit
method set_varinfo : Bddvar.info Var.Map.t -> unit
method set_varset : Bdd.t Var.Map.t -> unit
method set_vartyp : typ Var.Map.t -> unit
method typ_of_var : Var.t -> typ
method typdef : typdef Var.Map.t
method typdef_of_typ : Var.t -> typdef
method var_of_idcond : int -> Var.t
method varinfo : Bddvar.info Var.Map.t
method varset : Bdd.t Var.Map.t
method vartyp : typ Var.Map.t