SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
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... | |
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.
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.
bool benchmax::settings::finalize_tool_settings | ( | ToolSettings & | s, |
const boost::program_options::variables_map & | |||
) |
void benchmax::settings::registerBenchmarkSettings | ( | SettingsParser * | parser | ) |
Registers benchmark settings with the settings parser.
Definition at line 30 of file benchmarks.cpp.
void benchmax::settings::registerPresetSettings | ( | SettingsParser * | parser | ) |
Registers preset settings with the settings parser.
Definition at line 35 of file PresetSettings.cpp.
void benchmax::settings::registerSlurmBackendSettings | ( | SettingsParser * | parser | ) |
Registers Slurm settings with the settings parser.
Definition at line 8 of file SlurmSettings.cpp.
void benchmax::settings::registerSSHBackendSettings | ( | SettingsParser * | parser | ) |
Registers SSH settings with settings parser.
Definition at line 9 of file SSHSettings.cpp.
void benchmax::settings::registerToolSettings | ( | SettingsParser * | parser | ) |