SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Settings.h File Reference
#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>
Include dependency graph for Settings.h:
This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description