cprover
Loading...
Searching...
No Matches
smt2irep.h File Reference
#include <iosfwd>
#include <optional>
Include dependency graph for smt2irep.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::optional< ireptsmt2irep (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

Function Documentation

◆ smt2irep()

std::optional< 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 92 of file smt2irep.cpp.