smt2irep.cpp File Reference

#include "smt2irep.h"
#include <util/message.h>
#include <stack>
#include "smt2_tokenizer.h"

Include dependency graph for smt2irep.cpp:

Go to the source code of this file.

Classes
class	smt2irept

Functions
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 More...

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.