![]() |
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.