Method frem

smt/expr.cpp:1249–1252

}

expr expr::frem(const expr &rhs) const {
  C(rhs);
  return simplify_const(Z3_mk_fpa_rem(ctx(), ast(), rhs()), *this, rhs);
}

expr expr::fabs() const {
  if (isBV())