This class represents the LRA solver settings. More...
#include <ConditionalSettings.h>
Public Member Functions | |
| ConditionalSettings () | |
| bool | isConditionalAlgorithmSet () const |
| Retrieves whether an algorithm for conditional properties has been set. | |
| ConditionalAlgorithmSetting | getConditionalAlgorithmSetting () const |
| Retrieves the specified algorithm for conditional probabilities. | |
| double | getConditionalPrecision () const |
| Retrieves the specified precision for computing conditional probabilities. | |
| bool | isConditionalPrecisionSetFromDefaultValue () const |
| Retrieves whether the precision for computing conditional probabilities was set from a default value. | |
| bool | isConditionalPrecisionAbsolute () const |
| Retrieves whether the precision for computing conditional probabilities is considered absolute. | |
| Public Member Functions inherited from storm::settings::modules::ModuleSettings | |
| ModuleSettings (std::string const &moduleName) | |
| Constructs a new settings object. | |
| virtual | ~ModuleSettings () |
| virtual bool | check () const |
| Checks whether the settings are consistent. | |
| virtual void | finalize () |
| Prepares the modules for further usage, should be called at the end of the initialization, before checks are executed. | |
| std::unique_ptr< storm::settings::SettingMemento > | overrideOption (std::string const &name, bool requiredStatus) |
| Sets the option with the given name to the required status. | |
| std::string const & | getModuleName () const |
| Retrieves the name of the module to which these settings belong. | |
| std::vector< std::shared_ptr< Option > > const & | getOptions () const |
| Retrieves the options of this module. | |
| uint_fast64_t | getPrintLengthOfLongestOption (bool includeAdvanced) const |
| Retrieves the (print) length of the longest option. | |
| void | restoreDefaults () |
| Restores the default values for all arguments of all options. | |
Static Public Attributes | |
| static const std::string | moduleName = "conditional" |
Additional Inherited Members | |
| Protected Member Functions inherited from storm::settings::modules::ModuleSettings | |
| Option & | getOption (std::string const &longName) |
| Retrieves the option with the given long name. | |
| Option const & | getOption (std::string const &longName) const |
| Retrieves the option with the given long name. | |
| bool | isSet (std::string const &optionName) const |
| Retrieves whether the option with the given name was set. | |
| void | set (std::string const &name) |
| Sets the option with the specified name. | |
| void | unset (std::string const &name) |
| Unsets the option with the specified name. | |
| void | addOption (std::shared_ptr< Option > const &option) |
| Adds and registers the given option. | |
Detailed Description
This class represents the LRA solver settings.
Definition at line 14 of file ConditionalSettings.h.
Constructor & Destructor Documentation
◆ ConditionalSettings()
| storm::settings::modules::ConditionalSettings::ConditionalSettings | ( | ) |
Definition at line 15 of file ConditionalSettings.cpp.
Member Function Documentation
◆ getConditionalAlgorithmSetting()
| ConditionalAlgorithmSetting storm::settings::modules::ConditionalSettings::getConditionalAlgorithmSetting | ( | ) | const |
Retrieves the specified algorithm for conditional probabilities.
Definition at line 44 of file ConditionalSettings.cpp.
◆ getConditionalPrecision()
| double storm::settings::modules::ConditionalSettings::getConditionalPrecision | ( | ) | const |
Retrieves the specified precision for computing conditional probabilities.
Definition at line 48 of file ConditionalSettings.cpp.
◆ isConditionalAlgorithmSet()
| bool storm::settings::modules::ConditionalSettings::isConditionalAlgorithmSet | ( | ) | const |
Retrieves whether an algorithm for conditional properties has been set.
Definition at line 40 of file ConditionalSettings.cpp.
◆ isConditionalPrecisionAbsolute()
| bool storm::settings::modules::ConditionalSettings::isConditionalPrecisionAbsolute | ( | ) | const |
Retrieves whether the precision for computing conditional probabilities is considered absolute.
Definition at line 57 of file ConditionalSettings.cpp.
◆ isConditionalPrecisionSetFromDefaultValue()
| bool storm::settings::modules::ConditionalSettings::isConditionalPrecisionSetFromDefaultValue | ( | ) | const |
Retrieves whether the precision for computing conditional probabilities was set from a default value.
Definition at line 52 of file ConditionalSettings.cpp.
Member Data Documentation
◆ moduleName
|
static |
Definition at line 44 of file ConditionalSettings.h.
The documentation for this class was generated from the following files:
- src/storm/settings/modules/ConditionalSettings.h
- src/storm/settings/modules/ConditionalSettings.cpp
