storm::settings::OptionBuilder Member List

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

addArgument(std::shared_ptr< ArgumentBase > argument)	storm::settings::OptionBuilder	inline
build()	storm::settings::OptionBuilder	inline
OptionBuilder(std::string const &moduleName, std::string const &longName, bool requireModulePrefix, std::string const &description)	storm::settings::OptionBuilder	inline
setIsAdvanced(bool isAdvanced=true)	storm::settings::OptionBuilder	inline
setIsRequired(bool isRequired)	storm::settings::OptionBuilder	inline
setShortName(std::string const &shortName)	storm::settings::OptionBuilder	inline