cprover
|
#include <tempdir.h>
Public Member Functions | |
std::string | operator() (const std::string &file) |
void | clear () |
temp_dirt (const std::string &name_template) | |
~temp_dirt () | |
Public Attributes | |
std::string | path |
|
explicit |
Definition at line 95 of file tempdir.cpp.
temp_dirt::~temp_dirt | ( | ) |
Definition at line 110 of file tempdir.cpp.
void temp_dirt::clear | ( | ) |
Definition at line 105 of file tempdir.cpp.
std::string temp_dirt::operator() | ( | const std::string & | file | ) |
Definition at line 100 of file tempdir.cpp.