Method sint2fp

smt/expr.cpp:2043–2047

}

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

expr expr::uint2fp(const expr &type, const expr &rm) const {
  C(type, rm);