SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::settings::OperationSettings Struct Reference

Operation settings. More...

#include <Settings.h>

Collaboration diagram for benchmax::settings::OperationSettings:

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...
 

Detailed Description

Operation settings.

Definition at line 45 of file Settings.h.

Field Documentation

◆ backend

std::string benchmax::settings::OperationSettings::backend

Name of the backend to be used.

Definition at line 47 of file Settings.h.

◆ convert_ods_filename

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.

◆ convert_ods_filter

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.

◆ mode

std::string benchmax::settings::OperationSettings::mode

Name of the operation mode.

Definition at line 49 of file Settings.h.

◆ use_temp

bool benchmax::settings::OperationSettings::use_temp

Use temporary directory.

Definition at line 55 of file Settings.h.


The documentation for this struct was generated from the following file: