Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::modules::DerivativeSettings Member List

This is the complete list of members for storm::settings::modules::DerivativeSettings, including all inherited members.

addOption(std::shared_ptr< Option > const &option)storm::settings::modules::ModuleSettingsprotected
areInconsequentialParametersOmitted() conststorm::settings::modules::DerivativeSettings
check() conststorm::settings::modules::ModuleSettingsvirtual
DerivativeSettings()storm::settings::modules::DerivativeSettings
finalize()storm::settings::modules::ModuleSettingsvirtual
getAverageDecay() conststorm::settings::modules::DerivativeSettings
getConstraintMethod() conststorm::settings::modules::DerivativeSettings
getConstraintMethodAsString() conststorm::settings::modules::DerivativeSettings
getDerivativeAtInstantiation() conststorm::settings::modules::DerivativeSettings
getGradientDescentMethod() conststorm::settings::modules::DerivativeSettings
getGradientDescentMethodAsString() conststorm::settings::modules::DerivativeSettings
getLearningRate() conststorm::settings::modules::DerivativeSettings
getMiniBatchSize() conststorm::settings::modules::DerivativeSettings
getModuleName() conststorm::settings::modules::ModuleSettings
getOption(std::string const &longName)storm::settings::modules::ModuleSettingsprotected
getOption(std::string const &longName) conststorm::settings::modules::ModuleSettingsprotected
getOptions() conststorm::settings::modules::ModuleSettings
getPrintLengthOfLongestOption(bool includeAdvanced) conststorm::settings::modules::ModuleSettings
getSquaredAverageDecay() conststorm::settings::modules::DerivativeSettings
getTerminationEpsilon() conststorm::settings::modules::DerivativeSettings
isFeasibleInstantiationSearchSet() conststorm::settings::modules::DerivativeSettings
isPrintJsonSet() conststorm::settings::modules::DerivativeSettings
isSet(std::string const &optionName) conststorm::settings::modules::ModuleSettingsprotected
moduleNamestorm::settings::modules::DerivativeSettingsstatic
ModuleSettings(std::string const &moduleName)storm::settings::modules::ModuleSettings
overrideOption(std::string const &name, bool requiredStatus)storm::settings::modules::ModuleSettings
restoreDefaults()storm::settings::modules::ModuleSettings
set(std::string const &name)storm::settings::modules::ModuleSettingsprotected
unset(std::string const &name)storm::settings::modules::ModuleSettingsprotected
~ModuleSettings()storm::settings::modules::ModuleSettingsinlinevirtual