smtrat::settings::ModuleSettings Struct Reference

#include <Settings.h>

Collaboration diagram for smtrat::settings::ModuleSettings:

Public Member Functions
	ModuleSettings ()
void	set_callbacks (std::function< bool(const std::string &)> callback_has, std::function< std::string(const std::string &)> callback_get)
template<typename T >
T	get (const std::string &key, T default_value) const

Data Fields
std::vector< std::string >	parameters

Private Attributes
std::function< bool(const std::string &)>	has_option
std::function< std::string(const std::string &)>	get_option

Detailed Description

Definition at line 36 of file Settings.h.

Constructor & Destructor Documentation

ModuleSettings()

smtrat::settings::ModuleSettings::ModuleSettings ( )

inline

Definition at line 44 of file Settings.h.

Member Function Documentation

get()

template<typename T >

T smtrat::settings::ModuleSettings::get ( const std::string &  key, T  default_value  ) const

inline

Definition at line 54 of file Settings.h.

set_callbacks()

void smtrat::settings::ModuleSettings::set_callbacks ( std::function< bool(const std::string &)>  callback_has, std::function< std::string(const std::string &)>  callback_get  )

inline

Definition at line 48 of file Settings.h.

Field Documentation

get_option

std::function<std::string(const std::string&)> smtrat::settings::ModuleSettings::get_option

private

Definition at line 41 of file Settings.h.

has_option

std::function<bool(const std::string&)> smtrat::settings::ModuleSettings::has_option

private

Definition at line 40 of file Settings.h.

parameters

std::vector<std::string> smtrat::settings::ModuleSettings::parameters

Definition at line 37 of file Settings.h.

---

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

• smtrat-common/settings/Settings.h