64 assert(!
stack.empty());
72 stack.top().get_sub().push_back(tmp);
80 virtual void error(
const std::string &message)
irept smt2irep(std::istream &in)
virtual void error(const std::string &message)
virtual void close_expression()
std::stack< irept > stack
virtual void open_expression()
smt2irept(std::istream &_in)
virtual void string_literal()
Base class for tree-like data structures with sharing.