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

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) conststorm::settings::SettingsManager
getModule(std::string const &moduleName) conststorm::settings::SettingsManager
getModule(std::string const &moduleName)storm::settings::SettingsManager
handleUnknownOption(std::string const &optionName, bool isShort) conststorm::settings::SettingsManager
hasModule(std::string const &moduleName, bool checkHidden=false) conststorm::settings::SettingsManager
manager()storm::settings::SettingsManagerstatic
operator=(SettingsManager const &)=deletestorm::settings::SettingsManager
printHelp(std::string const &filter="frequent") conststorm::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 &)=deletestorm::settings::SettingsManager