10 #ifndef CPROVER_SOLVERS_SMT2_SMT2_PARSER_H 11 #define CPROVER_SOLVERS_SMT2_SMT2_PARSER_H 39 virtual void error(
const std::string &) = 0;
51 #endif // CPROVER_SOLVERS_SMT2_SMT2_PARSER_H
void get_decimal_numeral()
virtual void open_expression()=0
void get_string_literal()
virtual void error(const std::string &)=0
virtual void close_expression()=0
smt2_parsert(std::istream &_in)
bool is_simple_symbol_character(char ch)
virtual void string_literal()=0