cprover
|
#include <dplib_dec.h>
Public Member Functions | |
dplib_temp_filet () | |
~dplib_temp_filet () | |
Protected Attributes | |
std::ofstream | temp_out |
std::string | temp_out_filename |
std::string | temp_result_filename |
Definition at line 17 of file dplib_dec.h.
dplib_temp_filet::dplib_temp_filet | ( | ) |
Definition at line 31 of file dplib_dec.cpp.
References temp_out, and temp_out_filename.
dplib_temp_filet::~dplib_temp_filet | ( | ) |
Definition at line 40 of file dplib_dec.cpp.
References temp_out, temp_out_filename, and temp_result_filename.
|
protected |
Definition at line 24 of file dplib_dec.h.
Referenced by dplib_dect::dec_solve(), dplib_temp_filet(), and ~dplib_temp_filet().
|
protected |
Definition at line 25 of file dplib_dec.h.
Referenced by dplib_dect::dec_solve(), dplib_temp_filet(), and ~dplib_temp_filet().
|
protected |
Definition at line 25 of file dplib_dec.h.
Referenced by dplib_dect::dec_solve(), dplib_dect::read_dplib_result(), and ~dplib_temp_filet().