SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::settings Namespace Reference

Data Structures

struct  SlurmBackendSettings
 Settings for the Slurm backend. More...
 
struct  SSHBackendSettings
 Settings for SSH backend. More...
 
struct  BenchmarkSettings
 Settings for benchmarks. More...
 
struct  PresetSettings
 
struct  CoreSettings
 Core settings. More...
 
struct  OperationSettings
 Operation settings. More...
 
struct  Settings
 Generic class to manage runtime settings. More...
 
struct  ToolSettings
 Tool-related settings. More...
 

Functions

void registerSlurmBackendSettings (SettingsParser *parser)
 Registers Slurm settings with the settings parser. More...
 
void registerSSHBackendSettings (SettingsParser *parser)
 Registers SSH settings with settings parser. More...
 
bool finalize_benchmark_settings (BenchmarkSettings &s, const boost::program_options::variables_map &)
 Postprocess benchmark settings. More...
 
void registerBenchmarkSettings (SettingsParser *parser)
 Registers benchmark settings with the settings parser. More...
 
bool finalize_preset_settings (PresetSettings &s, boost::program_options::variables_map &values)
 Postprocess preset settings. More...
 
void registerPresetSettings (SettingsParser *parser)
 Registers preset settings with the settings parser. More...
 
bool finalize_tool_settings (ToolSettings &s, const boost::program_options::variables_map &)
 Postprocess settings to compute common prefix. More...
 
void registerToolSettings (SettingsParser *parser)
 Registers tool settings with the settings parser. More...
 

Function Documentation

◆ finalize_benchmark_settings()

bool benchmax::settings::finalize_benchmark_settings ( BenchmarkSettings s,
const boost::program_options::variables_map &   
)

Postprocess benchmark settings.

Definition at line 25 of file benchmarks.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ finalize_preset_settings()

bool benchmax::settings::finalize_preset_settings ( PresetSettings s,
boost::program_options::variables_map &  values 
)

Postprocess preset settings.

Definition at line 17 of file PresetSettings.cpp.

Here is the caller graph for this function:

◆ finalize_tool_settings()

bool benchmax::settings::finalize_tool_settings ( ToolSettings s,
const boost::program_options::variables_map &   
)

Postprocess settings to compute common prefix.

Definition at line 55 of file Tools.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ registerBenchmarkSettings()

void benchmax::settings::registerBenchmarkSettings ( SettingsParser parser)

Registers benchmark settings with the settings parser.

Definition at line 30 of file benchmarks.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ registerPresetSettings()

void benchmax::settings::registerPresetSettings ( SettingsParser parser)

Registers preset settings with the settings parser.

Definition at line 35 of file PresetSettings.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ registerSlurmBackendSettings()

void benchmax::settings::registerSlurmBackendSettings ( SettingsParser parser)

Registers Slurm settings with the settings parser.

Definition at line 8 of file SlurmSettings.cpp.

Here is the caller graph for this function:

◆ registerSSHBackendSettings()

void benchmax::settings::registerSSHBackendSettings ( SettingsParser parser)

Registers SSH settings with settings parser.

Definition at line 9 of file SSHSettings.cpp.

Here is the caller graph for this function:

◆ registerToolSettings()

void benchmax::settings::registerToolSettings ( SettingsParser parser)

Registers tool settings with the settings parser.

Definition at line 64 of file Tools.cpp.

Here is the call graph for this function:
Here is the caller graph for this function: