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

addModule(std::unique_ptr< modules::ModuleSettings > &&moduleSettings, bool doRegister=true)	storm::settings::SettingsManager
getHelpForModule(std::string const &moduleName, uint_fast64_t maxLength=30, bool includeAdvanced=true) const	storm::settings::SettingsManager
getModule(std::string const &moduleName) const	storm::settings::SettingsManager
getModule(std::string const &moduleName)	storm::settings::SettingsManager
handleUnknownOption(std::string const &optionName, bool isShort) const	storm::settings::SettingsManager
hasModule(std::string const &moduleName, bool checkHidden=false) const	storm::settings::SettingsManager
manager()	storm::settings::SettingsManager	static
operator=(SettingsManager const &)=delete	storm::settings::SettingsManager
printHelp(std::string const &filter="frequent") const	storm::settings::SettingsManager
setFromCommandLine(int const argc, char const *const argv[])	storm::settings::SettingsManager
setFromConfigurationFile(std::string const &configFilename)	storm::settings::SettingsManager
setFromExplodedString(std::vector< std::string > const &commandLineArguments)	storm::settings::SettingsManager
setFromString(std::string const &commandLineString)	storm::settings::SettingsManager
setName(std::string const &name, std::string const &executableName)	storm::settings::SettingsManager
SettingsManager(SettingsManager const &)=delete	storm::settings::SettingsManager