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_indext &index)

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_indext &index)

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/6]

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

Definition at line 464 of file smt_to_smt2_string.cpp.

◆ operator<<() [2/6]

std::ostream & operator<<	(	std::ostream &	os,
		const smt_indext &	index
	)

Definition at line 45 of file smt_to_smt2_string.cpp.

◆ operator<<() [3/6]

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

Definition at line 374 of file smt_to_smt2_string.cpp.

◆ operator<<() [4/6]

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

Definition at line 341 of file smt_to_smt2_string.cpp.

◆ operator<<() [5/6]

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

Definition at line 85 of file smt_to_smt2_string.cpp.

◆ operator<<() [6/6]

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

Definition at line 312 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [1/6]

std::string smt_to_smt2_string ( const smt_commandt & command )

Definition at line 470 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [2/6]

std::string smt_to_smt2_string ( const smt_indext & index )

Definition at line 52 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [3/6]

std::string smt_to_smt2_string ( const smt_logict & logic )

Definition at line 380 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [4/6]

std::string smt_to_smt2_string ( const smt_optiont & option )

Definition at line 347 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [5/6]

std::string smt_to_smt2_string ( const smt_sortt & sort )

Definition at line 91 of file smt_to_smt2_string.cpp.

◆ smt_to_smt2_string() [6/6]

std::string smt_to_smt2_string ( const smt_termt & term )

Definition at line 317 of file smt_to_smt2_string.cpp.

Functions