Go to the documentation of this file.
35 std::stack<irept> stack;
45 throw error(
"unexpected end of file");
64 throw error(
"unexpected ')'");
67 irept tmp = stack.top();
73 stack.top().get_sub().push_back(tmp);
79 throw error(
"unexpected token");
Class that provides messages with a built-in verbosity 'level'.
smt2irept(std::istream &_in, message_handlert &message_handler)
optionalt< irept > operator()()
void set_line(const irep_idt &line)
smt2_errort error()
generate an error exception
source_locationt source_location
unsigned get_line_no() const
nonstd::optional< T > optionalt
optionalt< irept > smt2irep(std::istream &in, message_handlert &message_handler)
returns an irep for an SMT-LIB2 expression read from a given stream returns {} when EOF is encountere...
There are a large number of kinds of tree structured or tree-like data in CPROVER.
std::string what() const override
A human readable description of what went wrong.