smtrat::statistics::StatisticsSettings Struct Reference

#include <StatisticsSettings.h>

Collaboration diagram for smtrat::statistics::StatisticsSettings:

Data Fields
bool	export_as_xml
std::string	xml_filename
bool	print_as_smtlib

Detailed Description

Definition at line 9 of file StatisticsSettings.h.

Field Documentation

export_as_xml

bool smtrat::statistics::StatisticsSettings::export_as_xml

Definition at line 10 of file StatisticsSettings.h.

print_as_smtlib

bool smtrat::statistics::StatisticsSettings::print_as_smtlib

Definition at line 12 of file StatisticsSettings.h.

xml_filename

std::string smtrat::statistics::StatisticsSettings::xml_filename

Definition at line 11 of file StatisticsSettings.h.

---

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

• smtrat-common/statistics/StatisticsSettings.h