| StatsFileManager::~StatsFileManager |
( |
void |
| ) |
|
|
inline |
| void StatsFileManager::close |
( |
void |
| ) |
|
|
inline |
| FILE* StatsFileManager::get |
( |
void |
| ) |
|
|
inline |
| static void StatsFileManager::getTimeStampedName |
( |
std::string & |
statsFileName | ) |
|
|
inlinestatic |
| bool StatsFileManager::init = false |
| bool StatsFileManager::isOpen = false |
| constexpr const char* const StatsFileManager::PARAM_FILE_ENV_VAR |
|
static |
Initial value:=
"GALOIS_PARAMETER_OUTFILE"
| FILE* StatsFileManager::statsFH = nullptr |
| std::string StatsFileManager::statsFileName |
The documentation for this struct was generated from the following file: