Inheritance diagram for smt2irept:

Collaboration diagram for smt2irept:

Public Member Functions
	smt2irept (std::istream &_in, message_handlert &message_handler)

std::optional< irept >	operator() ()

Public Member Functions inherited from smt2_tokenizert
	smt2_tokenizert (std::istream &_in)

tokent	next_token ()

tokent	peek ()

const std::string &	get_buffer () const

bool	token_is_quoted_symbol () const

smt2_errort	error (const std::string &message) const
	generate an error exception, pre-filled with a message More...

smt2_errort	error () const
	generate an error exception More...

Protected Attributes
messaget	log

Protected Attributes inherited from smt2_tokenizert
std::istream *	in

unsigned	line_no

std::string	buffer

bool	quoted_symbol = false

bool	peeked

tokent	token

Additional Inherited Members
Public Types inherited from smt2_tokenizert
using	tokent = enum { NONE, END_OF_FILE, STRING_LITERAL, NUMERAL, SYMBOL, KEYWORD, OPEN, CLOSE }

Protected Member Functions inherited from smt2_tokenizert
void	skip_to_end_of_list ()
	skip any tokens until all parentheses are closed or the end of file is reached More...

Detailed Description

Definition at line 17 of file smt2irep.cpp.

Constructor & Destructor Documentation

inline

Definition at line 20 of file smt2irep.cpp.

std::optional< irept > smt2irept::operator() ( void )

Definition at line 31 of file smt2irep.cpp.

messaget smt2irept::log

protected

Definition at line 28 of file smt2irep.cpp.

The documentation for this class was generated from the following file: