cprover
cvc_temp_filet Class Reference

#include <cvc_dec.h>

Inheritance diagram for cvc_temp_filet:
[legend]
Collaboration diagram for cvc_temp_filet:
[legend]

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
 

Detailed Description

Definition at line 17 of file cvc_dec.h.

Constructor & Destructor Documentation

§ cvc_temp_filet()

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::~cvc_temp_filet ( )

Definition at line 41 of file cvc_dec.cpp.

References temp_out, temp_out_filename, and temp_result_filename.

Member Data Documentation

§ temp_out

std::ofstream cvc_temp_filet::temp_out
protected

Definition at line 24 of file cvc_dec.h.

Referenced by cvc_temp_filet(), cvc_dect::dec_solve(), and ~cvc_temp_filet().

§ temp_out_filename

std::string cvc_temp_filet::temp_out_filename
protected

Definition at line 25 of file cvc_dec.h.

Referenced by cvc_temp_filet(), cvc_dect::dec_solve(), and ~cvc_temp_filet().

§ temp_result_filename

std::string cvc_temp_filet::temp_result_filename
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().


The documentation for this class was generated from the following files: