![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Operation settings. More...
#include <Settings.h>
Data Fields | |
std::string | backend |
Name of the backend to be used. More... | |
std::string | mode |
Name of the operation mode. More... | |
std::string | convert_ods_filename |
Name of the xml file to convert to an ods file. More... | |
std::string | convert_ods_filter |
Name of the xslt filter used for ods import. More... | |
bool | use_temp |
Use temporary directory. More... | |
Operation settings.
Definition at line 45 of file Settings.h.
std::string benchmax::settings::OperationSettings::backend |
Name of the backend to be used.
Definition at line 47 of file Settings.h.
std::string benchmax::settings::OperationSettings::convert_ods_filename |
Name of the xml file to convert to an ods file.
Definition at line 51 of file Settings.h.
std::string benchmax::settings::OperationSettings::convert_ods_filter |
Name of the xslt filter used for ods import.
Definition at line 53 of file Settings.h.
std::string benchmax::settings::OperationSettings::mode |
Name of the operation mode.
Definition at line 49 of file Settings.h.
bool benchmax::settings::OperationSettings::use_temp |
Use temporary directory.
Definition at line 55 of file Settings.h.