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

#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
template<typename T>
smt2_tokenizert::smt2_errort	operator<< (smt2_tokenizert::smt2_errort &&e, const T &message)
	add to the diagnostic information in the given smt2_tokenizer exception
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.

template<typename T>

smt2_tokenizert::smt2_errort operator<<	(	smt2_tokenizert::smt2_errort &&	e,
		const T &	message )

add to the diagnostic information in the given smt2_tokenizer exception

Definition at line 204 of file smt2_tokenizer.h.