64 assert(!stack.empty());
66 irept tmp=stack.top();
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.