9 #ifndef CPROVER_SOLVERS_SMT2_SMT2_TOKENIZER_H 10 #define CPROVER_SOLVERS_SMT2_SMT2_TOKENIZER_H 69 #endif // CPROVER_SOLVERS_SMT2_SMT2_PARSER_H
tokent get_decimal_numeral()
smt2_tokenizert(std::istream &_in)
enum { NONE, END_OF_FILE, ERROR, STRING_LITERAL, NUMERAL, SYMBOL, OPEN, CLOSE } tokent
source_locationt source_location
tokent get_string_literal()
void set_line(const irep_idt &line)
static bool is_simple_symbol_character(char)
tokent get_quoted_symbol()
tokent get_simple_symbol()