smt_to_smt2_string.cpp File Reference

#include <solvers/smt2_incremental/smt_to_smt2_string.h>
#include <solvers/smt2/smt2_conv.h>
#include <solvers/smt2_incremental/smt_commands.h>
#include <solvers/smt2_incremental/smt_logics.h>
#include <solvers/smt2_incremental/smt_sorts.h>
#include <solvers/smt2_incremental/smt_terms.h>
#include <util/range.h>
#include <util/string_utils.h>
#include <functional>
#include <iostream>
#include <sstream>
#include <stack>
#include <string>
#include "smt_logics.def"

Include dependency graph for smt_to_smt2_string.cpp:

Go to the source code of this file.

Classes
class	smt_sort_output_visitort
class	smt_term_to_string_convertert
class	smt_option_to_string_convertert
class	smt_logic_to_string_convertert
class	smt_command_to_string_convertert

Macros
#define	LOGIC_ID(the_id, the_name)

Functions
std::ostream &	operator<< (std::ostream &os, const smt_sortt &sort)
std::string	smt_to_smt2_string (const smt_sortt &sort)
std::ostream &	operator<< (std::ostream &os, const smt_termt &term)
std::string	smt_to_smt2_string (const smt_termt &term)
std::ostream &	operator<< (std::ostream &os, const smt_optiont &option)
std::string	smt_to_smt2_string (const smt_optiont &option)
std::ostream &	operator<< (std::ostream &os, const smt_logict &logic)
std::string	smt_to_smt2_string (const smt_logict &logic)
std::ostream &	operator<< (std::ostream &os, const smt_commandt &command)
std::string	smt_to_smt2_string (const smt_commandt &command)

Macro Definition Documentation

LOGIC_ID

#define LOGIC_ID	(		the_id,
			the_name
	)

Value:

  void visit(const smt_logic_##the_id##t &) override                           \
  {                                                                            \
    os << #the_name;                                                           \
  }

Definition at line 262 of file smt_to_smt2_string.cpp.

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.