Storm
A Modern Probabilistic Model Checker
|
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 |