smtrat::settings::CoreSettings Struct Reference

#include <Settings.h>

Collaboration diagram for smtrat::settings::CoreSettings:

Data Fields
bool	show_help
bool	show_info
bool	show_version
bool	show_settings
bool	show_cmake_options
bool	show_strategy
bool	show_license
std::string	config_file

Detailed Description

Definition at line 16 of file Settings.h.

Field Documentation

config_file

std::string smtrat::settings::CoreSettings::config_file

Definition at line 24 of file Settings.h.

show_cmake_options

bool smtrat::settings::CoreSettings::show_cmake_options

Definition at line 21 of file Settings.h.

show_help

bool smtrat::settings::CoreSettings::show_help

Definition at line 17 of file Settings.h.

show_info

bool smtrat::settings::CoreSettings::show_info

Definition at line 18 of file Settings.h.

show_license

bool smtrat::settings::CoreSettings::show_license

Definition at line 23 of file Settings.h.

show_settings

bool smtrat::settings::CoreSettings::show_settings

Definition at line 20 of file Settings.h.

show_strategy

bool smtrat::settings::CoreSettings::show_strategy

Definition at line 22 of file Settings.h.

show_version

bool smtrat::settings::CoreSettings::show_version

Definition at line 19 of file Settings.h.

---

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

• smtrat-common/settings/Settings.h