cprover
|
Go to the source code of this file.
Functions | |
optionalt< irept > | smt2irep (std::istream &, message_handlert &) |
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.