Method sqrt

smt/expr.cpp:1276–1279

}

expr expr::sqrt(const expr &rm) const {
  C(rm);
  return simplify_const(Z3_mk_fpa_sqrt(ctx(), rm(), ast()), *this);
}

std::pair<expr, expr> expr::frexp() const {
  C();