Method fma

smt/expr.cpp:1315–1318

}

expr expr::fma(const expr &a, const expr &b, const expr &c, const expr &rm) {
  C2(a, b, c, rm);
  return simplify_const(Z3_mk_fpa_fma(ctx(), rm(), a(), b(), c()), a, b, c);
}

expr expr::ceil() const {
  return round(rtp());