Tokenizer for the SMT-LIB v2.6 syntax. More...

#include <util/exception_utils.h>
#include <optional>
#include <sstream>
#include <string>

Include dependency graph for smt2_tokenizer.h:

This graph shows which files directly or indirectly include this file:

Classes
class	smt2_tokenizert
class	smt2_tokenizert::smt2_errort
	Exception thrown by the tokenizer (and the parser built on top of it) to report a syntactic error at a known source line. More...
class	smt2_tokenizert::tokent
	One SMT-LIB v2.6 token. More...

Functions
bool	is_smt2_simple_symbol_character (char)

Detailed Description

Tokenizer for the SMT-LIB v2.6 syntax.

Splits an input stream into a sequence of smt2_tokenizert::tokent values that the parser consumes via smt2_tokenizert::next_token and smt2_tokenizert::peek.

Definition in file smt2_tokenizer.h.

Function Documentation

bool is_smt2_simple_symbol_character ( char ch )

Definition at line 15 of file smt2_tokenizer.cpp.