cprover
|
#include <smt2_dec.h>
Public Member Functions | |
smt2_temp_filet () | |
~smt2_temp_filet () | |
Public Attributes | |
std::ofstream | temp_out |
std::string | temp_out_filename |
std::string | temp_result_filename |
Definition at line 17 of file smt2_dec.h.
smt2_temp_filet::smt2_temp_filet | ( | ) |
Definition at line 45 of file smt2_dec.cpp.
References get_temporary_file(), temp_out, and temp_out_filename.
smt2_temp_filet::~smt2_temp_filet | ( | ) |
Definition at line 54 of file smt2_dec.cpp.
References temp_out, temp_out_filename, and temp_result_filename.
std::ofstream smt2_temp_filet::temp_out |
Definition at line 23 of file smt2_dec.h.
Referenced by smt2_dect::dec_solve(), smt2_temp_filet(), and ~smt2_temp_filet().
std::string smt2_temp_filet::temp_out_filename |
Definition at line 24 of file smt2_dec.h.
Referenced by smt2_dect::dec_solve(), smt2_temp_filet(), and ~smt2_temp_filet().
std::string smt2_temp_filet::temp_result_filename |
Definition at line 24 of file smt2_dec.h.
Referenced by smt2_dect::dec_solve(), and ~smt2_temp_filet().