Method fsub

smt/expr.cpp:1234–1237

}

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

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