smt2irep.h File Reference

#include <iosfwd>
#include <util/optional.h>

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

Function Documentation

smt2irep()

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.