cprover
dplib_temp_filet Class Reference

#include <dplib_dec.h>

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

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
 

Detailed Description

Definition at line 17 of file dplib_dec.h.

Constructor & Destructor Documentation

§ dplib_temp_filet()

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

Definition at line 40 of file dplib_dec.cpp.

References temp_out, temp_out_filename, and temp_result_filename.

Member Data Documentation

§ temp_out

std::ofstream dplib_temp_filet::temp_out
protected

Definition at line 24 of file dplib_dec.h.

Referenced by dplib_dect::dec_solve(), dplib_temp_filet(), and ~dplib_temp_filet().

§ temp_out_filename

std::string dplib_temp_filet::temp_out_filename
protected

Definition at line 25 of file dplib_dec.h.

Referenced by dplib_dect::dec_solve(), dplib_temp_filet(), and ~dplib_temp_filet().

§ temp_result_filename

std::string dplib_temp_filet::temp_result_filename
protected

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