package yices2_bindings

  1. Overview
  2. Docs
type env = {
  1. verbosity : int;
  2. logic : string;
  3. types : Yices2_high.Types.type_t VarMap.t;
  4. variables : Variables.t;
  5. context : Yices2_ext_bindings.Context.t;
  6. param : Yices2_ext_bindings.Param.t;
  7. model : Yices2_ext_bindings.Model.t option;
}
val to_SMT2 : env -> string
type t = {
  1. verbosity : int;
  2. config : Yices2_ext_bindings.Config.t;
  3. env : env option ref;
  4. infos : string StringHashtbl.t;
  5. options : string StringHashtbl.t;
  6. set_logic : string -> Yices2_ext_bindings.Config.t -> unit;
}
val create : ?set_logic:(string -> Yices2_ext_bindings.Config.t -> unit) -> int -> t
val init_env : t -> logic:string -> unit
val exit : t -> unit