Method getFnArg

smt/expr.cpp:2467–2471

}

expr expr::getFnArg(unsigned i) const {
  auto app = isApp();
  assert(app && i < Z3_get_app_num_args(ctx(), app));
  return Z3_get_app_arg(ctx(), app, i);
}

ostream& operator<<(ostream &os, const expr &e) {
  return os << (e.isValid() ? Z3_ast_to_string(ctx(), e()) : "(null)");