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