SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <benchmax/utils/filesystem.h>
#include <carl-common/memory/Singleton.h>
#include <carl-settings/Settings.h>
#include <any>
#include <cassert>
#include <chrono>
#include <ctime>
#include <fstream>
#include <map>
#include <memory>
Go to the source code of this file.
Data Structures | |
struct | benchmax::settings::CoreSettings |
Core settings. More... | |
struct | benchmax::settings::OperationSettings |
Operation settings. More... | |
struct | benchmax::settings::Settings |
Generic class to manage runtime settings. More... | |
Namespaces | |
benchmax | |
benchmax::settings | |
Functions | |
template<typename T > | |
const auto & | benchmax::settings_get (const std::string &name) |
Helper function to obtain settings by name and type. More... | |
const auto & | benchmax::settings_core () |
Retrieved core settings. More... | |
const auto & | benchmax::settings_operation () |
Retrieved operation settings. More... | |
Definition in file Settings.h.