| CBMC
    | 
#include <string> Include dependency graph for tempfile.h:
 Include dependency graph for tempfile.h: This graph shows which files directly or indirectly include this file:
 This graph shows which files directly or indirectly include this file:Go to the source code of this file.
| Classes | |
| class | temporary_filet | 
| Functions | |
| std::string | get_temporary_file (const std::string &prefix, const std::string &suffix) | 
| Substitute for mkstemps (OpenBSD standard) for Windows, where it is unavailable.  More... | |
| std::string get_temporary_file | ( | const std::string & | prefix, | 
| const std::string & | suffix | ||
| ) | 
Substitute for mkstemps (OpenBSD standard) for Windows, where it is unavailable.
Definition at line 99 of file tempfile.cpp.