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: