I have come across this toplevel function in a C++ file. So my questions are:
- What exactly is the
smt2::parser
type declaration doing there? - What is this feature called?
- How is different from a regular call to
p(ctx, is, interactive);
?
Here's the code:
bool parse_smt2_commands(cmd_context & ctx, std::istream & is, bool interactive) {
smt2::parser p(ctx, is, interactive);
return p();
}
Unfortunately, I haven't been able to find the definition(s) of p()
with grep so far. I'll update the post when I find the definitions (tracking down the headers includes manually can take a while).