Method float2Real

smt/expr.cpp:2012–2014

}

expr expr::float2Real() const {
  return unop_fold(Z3_mk_fpa_to_real);
}

expr expr::BV2float(const expr &type) const {
  C(type);