cprover
|
#include <cvc_dec.h>
Public Member Functions | |
cvc_temp_filet () | |
~cvc_temp_filet () | |
Protected Attributes | |
std::ofstream | temp_out |
std::string | temp_out_filename |
std::string | temp_result_filename |
cvc_temp_filet::cvc_temp_filet | ( | ) |
Definition at line 32 of file cvc_dec.cpp.
References temp_out, and temp_out_filename.
cvc_temp_filet::~cvc_temp_filet | ( | ) |
Definition at line 41 of file cvc_dec.cpp.
References temp_out, temp_out_filename, and temp_result_filename.
|
protected |
Definition at line 24 of file cvc_dec.h.
Referenced by cvc_temp_filet(), cvc_dect::dec_solve(), and ~cvc_temp_filet().
|
protected |
Definition at line 25 of file cvc_dec.h.
Referenced by cvc_temp_filet(), cvc_dect::dec_solve(), and ~cvc_temp_filet().
|
protected |
Definition at line 25 of file cvc_dec.h.
Referenced by cvc_dect::dec_solve(), cvc_dect::read_cvcl_result(), and ~cvc_temp_filet().