cprover
smt2_temp_filet Class Reference

#include <smt2_dec.h>

Collaboration diagram for smt2_temp_filet:
[legend]

Public Member Functions

 smt2_temp_filet ()
 
 ~smt2_temp_filet ()
 

Public Attributes

std::ofstream temp_out
 
std::string temp_out_filename
 
std::string temp_result_filename
 

Detailed Description

Definition at line 17 of file smt2_dec.h.

Constructor & Destructor Documentation

§ smt2_temp_filet()

smt2_temp_filet::smt2_temp_filet ( )

Definition at line 46 of file smt2_dec.cpp.

References get_temporary_file().

§ ~smt2_temp_filet()

smt2_temp_filet::~smt2_temp_filet ( )

Definition at line 55 of file smt2_dec.cpp.

Member Data Documentation

§ temp_out

std::ofstream smt2_temp_filet::temp_out

Definition at line 23 of file smt2_dec.h.

Referenced by smt2_dect::dec_solve().

§ temp_out_filename

std::string smt2_temp_filet::temp_out_filename

Definition at line 24 of file smt2_dec.h.

Referenced by smt2_dect::dec_solve().

§ temp_result_filename

std::string smt2_temp_filet::temp_result_filename

Definition at line 24 of file smt2_dec.h.

Referenced by smt2_dect::dec_solve().


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