cprover
Loading...
Searching...
No Matches
smt2irept Class Reference
Inheritance diagram for smt2irept:
Collaboration diagram for smt2irept:

Public Member Functions

 smt2irept (std::istream &_in, message_handlert &message_handler)
std::optional< ireptoperator() ()
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
smt2_errort error () const
 generate an error exception

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
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

Detailed Description

Definition at line 17 of file smt2irep.cpp.

Constructor & Destructor Documentation

◆ smt2irept()

smt2irept::smt2irept ( std::istream & _in,
message_handlert & message_handler )
inline

Definition at line 20 of file smt2irep.cpp.

Member Function Documentation

◆ operator()()

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

Definition at line 31 of file smt2irep.cpp.

Member Data Documentation

◆ log

messaget smt2irept::log
protected

Definition at line 28 of file smt2irep.cpp.


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