我在C++文件中遇到过这个顶级函数.所以我的问题是:
smt2::parser
那里的类型声明究竟是什么?
这个功能叫做什么?
与普通电话有p(ctx, is, interactive);
什么不同?
这是代码:
bool parse_smt2_commands(cmd_context & ctx, std::istream & is, bool interactive) { smt2::parser p(ctx, is, interactive); return p(); }
不幸的是,到目前为止我还没有找到p()
grep 的定义.当我找到定义时,我会更新帖子(跟踪标题包括手动可能需要一段时间).