cprover
|
#include <smt1_dec.h>
Public Member Functions | |
smt1_temp_filet () | |
~smt1_temp_filet () | |
Protected Attributes | |
std::ofstream | temp_out |
std::string | temp_out_filename |
std::string | temp_result_filename |
Definition at line 17 of file smt1_dec.h.
smt1_temp_filet::smt1_temp_filet | ( | ) |
Definition at line 43 of file smt1_dec.cpp.
References get_temporary_file(), temp_out, and temp_out_filename.
smt1_temp_filet::~smt1_temp_filet | ( | ) |
Definition at line 52 of file smt1_dec.cpp.
References temp_out, temp_out_filename, and temp_result_filename.
|
protected |
Definition at line 24 of file smt1_dec.h.
Referenced by smt1_dect::dec_solve(), smt1_temp_filet(), and ~smt1_temp_filet().
|
protected |
Definition at line 25 of file smt1_dec.h.
Referenced by smt1_dect::dec_solve(), smt1_temp_filet(), and ~smt1_temp_filet().
|
protected |
Definition at line 25 of file smt1_dec.h.
Referenced by smt1_dect::dec_solve(), and ~smt1_temp_filet().