object
  val mutable v_bddincr : int
  val mutable v_bddindex : int
  val mutable v_careset : Bdd.t
  val v_cond : CondDD.DHashCond.t
  val mutable v_idcondvar : Var.t MappeI.t
  val v_manager : Manager.t
  val mutable v_print_external_idcondb :
    Format.formatter -> int * bool -> unit
  val mutable v_typdef : typdef Var.Map.t
  val mutable v_varinfo : Bddvar.info Var.Map.t
  val mutable v_varset : Bdd.t Var.Map.t
  val mutable v_vartyp : typ Var.Map.t
  method private add_label : Var.t -> typ -> unit
  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 -> CondDD.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
end