cprover
smt_to_smt2_string.h
Go to the documentation of this file.
1 // Author: Diffblue Ltd.
2 
7 
8 #ifndef CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_SMT2_STRING_H
9 #define CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_SMT2_STRING_H
10 
11 class smt_sortt;
12 class smt_termt;
13 class smt_optiont;
14 class smt_commandt;
15 class smt_logict;
16 
17 #include <iosfwd>
18 #include <string>
19 
20 std::ostream &operator<<(std::ostream &os, const smt_sortt &sort);
21 std::ostream &operator<<(std::ostream &os, const smt_termt &term);
22 std::ostream &operator<<(std::ostream &os, const smt_optiont &option);
23 std::ostream &operator<<(std::ostream &os, const smt_logict &logic);
24 std::ostream &operator<<(std::ostream &os, const smt_commandt &command);
25 
26 std::string smt_to_smt2_string(const smt_sortt &sort);
27 std::string smt_to_smt2_string(const smt_termt &term);
28 std::string smt_to_smt2_string(const smt_optiont &option);
29 std::string smt_to_smt2_string(const smt_logict &logic);
30 std::string smt_to_smt2_string(const smt_commandt &command);
31 
32 #endif // CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_SMT2_STRING_H
std::ostream & operator<<(std::ostream &os, const smt_sortt &sort)
std::string smt_to_smt2_string(const smt_sortt &sort)