cprover
Loading...
Searching...
No Matches
smt_to_smt2_string.h File Reference

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:

Go to the source code of 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.