Method uint2fp

smt/expr.cpp:2049–2054

}

expr expr::uint2fp(const expr &type, const expr &rm) const {
  C(type, rm);
  return
    simplify_const(Z3_mk_fpa_to_fp_unsigned(ctx(), rm(), ast(), type.sort()),
                   *this);
}

expr expr::mkUF(const char *name, const vector<expr> &args, const expr &range) {
  C2(range);