smt2_tokenizer.h File Reference

#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

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)

Function Documentation

is_smt2_simple_symbol_character()

bool is_smt2_simple_symbol_character

(

char

ch

)

Definition at line 11 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 139 of file smt2_tokenizer.h.