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
11class smt_sortt;
12class smt_termt;
13class smt_optiont;
14class smt_commandt;
15class smt_logict;
16
17#include <iosfwd>
18#include <string>
19
20std::ostream &operator<<(std::ostream &os, const smt_sortt &sort);
21std::ostream &operator<<(std::ostream &os, const smt_termt &term);
22std::ostream &operator<<(std::ostream &os, const smt_optiont &option);
23std::ostream &operator<<(std::ostream &os, const smt_logict &logic);
24std::ostream &operator<<(std::ostream &os, const smt_commandt &command);
25
26std::string smt_to_smt2_string(const smt_sortt &sort);
27std::string smt_to_smt2_string(const smt_termt &term);
28std::string smt_to_smt2_string(const smt_optiont &option);
29std::string smt_to_smt2_string(const smt_logict &logic);
30std::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)