29 bool parse()
override;
37 std::stack<irept>
stack;
45 error() <<
"unexpected end of file" <<
eom;
83 stack.top().get_sub().push_back(tmp);
irept smt2irep(std::istream &in)
static mstreamt & eom(mstreamt &m)
smt2irept(std::istream &_in)
Base class for tree-like data structures with sharing.
std::vector< exprt > stack
mstreamt & result() const