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