Method float2Float

smt/expr.cpp:2027–2031

}

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

expr expr::fp2sint(unsigned bits, const expr &rm) const {
  C(rm);