Streaming SMT data structures to a string based output stream. More...

#include <iosfwd>
#include <string>

Include dependency graph for smt_to_smt2_string.h:

This graph shows which files directly or indirectly include this file:

Functions
std::ostream &	operator<< (std::ostream &os, const smt_sortt &sort)

std::ostream &	operator<< (std::ostream &os, const smt_termt &term)

std::ostream &	operator<< (std::ostream &os, const smt_optiont &option)

std::ostream &	operator<< (std::ostream &os, const smt_logict &logic)

std::ostream &	operator<< (std::ostream &os, const smt_commandt &command)

std::string	smt_to_smt2_string (const smt_sortt &sort)

std::string	smt_to_smt2_string (const smt_termt &term)

std::string	smt_to_smt2_string (const smt_optiont &option)

std::string	smt_to_smt2_string (const smt_logict &logic)

std::string	smt_to_smt2_string (const smt_commandt &command)

Detailed Description

Streaming SMT data structures to a string based output stream.

The generated output strings are intended to be valid input for SMT2 solvers compliant with the SMT-LIB standard version 2.6.

Definition in file smt_to_smt2_string.h.

Function Documentation

◆ operator<<() [1/5]

std::ostream & operator<<	(	std::ostream &	os,
		const smt_commandt &	command
	)

Definition at line 361 of file smt_to_smt2_string.cpp.

◆ operator<<() [2/5]

std::ostream & operator<<	(	std::ostream &	os,
		const smt_logict &	logic
	)

Definition at line 271 of file smt_to_smt2_string.cpp.

◆ operator<<() [3/5]

std::ostream & operator<<	(	std::ostream &	os,
		const smt_optiont &	option
	)

Definition at line 239 of file smt_to_smt2_string.cpp.

◆ operator<<() [4/5]

std::ostream & operator<<	(	std::ostream &	os,
		const smt_sortt &	sort
	)

Definition at line 41 of file smt_to_smt2_string.cpp.

◆ operator<<() [5/5]

std::ostream & operator<<	(	std::ostream &	os,
		const smt_termt &	term
	)

Definition at line 210 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [1/5]

std::string smt_to_smt2_string ( const smt_commandt & command )

Definition at line 367 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [2/5]

std::string smt_to_smt2_string ( const smt_logict & logic )

Definition at line 277 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [3/5]

std::string smt_to_smt2_string ( const smt_optiont & option )

Definition at line 245 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [4/5]

std::string smt_to_smt2_string ( const smt_sortt & sort )

Definition at line 47 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [5/5]

std::string smt_to_smt2_string ( const smt_termt & term )

Definition at line 215 of file smt_to_smt2_string.cpp.

Functions