Method fn_name

smt/expr.cpp:2455–2459

}

string_view expr::fn_name() const {
  if (isApp())
    return Z3_get_symbol_string(ctx(), Z3_get_decl_name(ctx(), decl()));
  return {};
}

unsigned expr::getFnNumArgs() const {
  auto app = isApp();