smt2_tokenizer.h File Reference

#include <util/exception_utils.h>
#include <util/parser.h>
#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 More...

Function Documentation

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 122 of file smt2_tokenizer.h.