cprover
|
Go to the source code of this file.
Classes | |
class | smt2irept |
Functions | |
optionalt< irept > | smt2irep (std::istream &in, message_handlert &message_handler) |
returns an irep for an SMT-LIB2 expression read from a given stream returns {} when EOF is encountered before reading non-whitespace input | |
optionalt< irept > smt2irep | ( | std::istream & | in, |
message_handlert & | message_handler ) |
returns an irep for an SMT-LIB2 expression read from a given stream returns {} when EOF is encountered before reading non-whitespace input
Definition at line 91 of file smt2irep.cpp.