Method fadd

smt/expr.cpp:1229–1232

}

expr expr::fadd(const expr &rhs, const expr &rm) const {
  C(rhs, rm);
  return simplify_const(Z3_mk_fpa_add(ctx(), rm(), ast(), rhs()), *this, rhs);
}

expr expr::fsub(const expr &rhs, const expr &rm) const {
  C(rhs, rm);