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
smt_termt
Definition:
smt_terms.h:16
smt_to_smt2_string
std::string smt_to_smt2_string(const smt_sortt &sort)
Definition:
smt_to_smt2_string.cpp:47
smt_sortt
Definition:
smt_sorts.h:18
smt_commandt
Definition:
smt_commands.h:14
operator<<
std::ostream & operator<<(std::ostream &os, const smt_sortt &sort)
Definition:
smt_to_smt2_string.cpp:41
smt_logict
Definition:
smt_logics.h:11
smt_optiont
Definition:
smt_options.h:11
solvers
smt2_incremental
smt_to_smt2_string.h
Generated by
1.8.20