smt2_tokenizer.h File Reference

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:

Go to the source code of 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

is_smt2_simple_symbol_character()

bool is_smt2_simple_symbol_character

(

char

ch

)

Definition at line 15 of file smt2_tokenizer.cpp.

operator<<()

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.