![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Core settings. More...
#include <Settings.h>
Data Fields | |
bool | show_help |
Whether to show the command-line help. More... | |
bool | show_settings |
Whether to show the configured settings. More... | |
bool | be_verbose |
Whether to be more verbose. More... | |
bool | be_quiet |
Whether to be more quiet. More... | |
std::string | config_file |
Path of an optional config file. More... | |
long | start_time = std::time(nullptr) |
Timestamp the binary was started. More... | |
Core settings.
Definition at line 28 of file Settings.h.
bool benchmax::settings::CoreSettings::be_quiet |
Whether to be more quiet.
Definition at line 36 of file Settings.h.
bool benchmax::settings::CoreSettings::be_verbose |
Whether to be more verbose.
Definition at line 34 of file Settings.h.
std::string benchmax::settings::CoreSettings::config_file |
Path of an optional config file.
Definition at line 38 of file Settings.h.
bool benchmax::settings::CoreSettings::show_help |
Whether to show the command-line help.
Definition at line 30 of file Settings.h.
bool benchmax::settings::CoreSettings::show_settings |
Whether to show the configured settings.
Definition at line 32 of file Settings.h.
long benchmax::settings::CoreSettings::start_time = std::time(nullptr) |
Timestamp the binary was started.
Definition at line 41 of file Settings.h.