cprover
smt1_temp_filet Class Reference

#include <smt1_dec.h>

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

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
 

Detailed Description

Definition at line 17 of file smt1_dec.h.

Constructor & Destructor Documentation

§ smt1_temp_filet()

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

Definition at line 52 of file smt1_dec.cpp.

References temp_out, temp_out_filename, and temp_result_filename.

Member Data Documentation

§ temp_out

std::ofstream smt1_temp_filet::temp_out
protected

Definition at line 24 of file smt1_dec.h.

Referenced by smt1_dect::dec_solve(), smt1_temp_filet(), and ~smt1_temp_filet().

§ temp_out_filename

std::string smt1_temp_filet::temp_out_filename
protected

Definition at line 25 of file smt1_dec.h.

Referenced by smt1_dect::dec_solve(), smt1_temp_filet(), and ~smt1_temp_filet().

§ temp_result_filename

std::string smt1_temp_filet::temp_result_filename
protected

Definition at line 25 of file smt1_dec.h.

Referenced by smt1_dect::dec_solve(), and ~smt1_temp_filet().


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