cprover
Public Member Functions | Public Attributes | List of all members
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(), temp_out, and temp_out_filename.

◆ ~smt2_temp_filet()

smt2_temp_filet::~smt2_temp_filet ( )

Definition at line 55 of file smt2_dec.cpp.

References temp_out, temp_out_filename, and temp_result_filename.

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(), smt2_temp_filet(), and ~smt2_temp_filet().

◆ 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(), smt2_temp_filet(), and ~smt2_temp_filet().

◆ 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(), and ~smt2_temp_filet().

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