Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::Argument< T > Member List

This is the complete list of members for storm::settings::Argument< T >, including all inherited members.

Argument(std::string const &name, std::string const &description, std::vector< std::shared_ptr< ArgumentValidator< T > > > const &validators)storm::settings::Argument< T >
Argument(std::string const &name, std::string const &description, std::vector< std::shared_ptr< ArgumentValidator< T > > > const &validators, bool isOptional, T defaultValue)storm::settings::Argument< T >
ArgumentBase(std::string const &name, std::string const &description)storm::settings::ArgumentBaseinline
convertFromString(std::string const &valueAsString, bool &conversionSuccessful)storm::settings::ArgumentBaseprotectedstatic
convertFromString(std::string const &valueAsString, bool &conversionSuccessful)storm::settings::ArgumentBase
convertFromString(std::string const &s, bool &ok)storm::settings::ArgumentBaseprotectedstatic
convertToString(ValueType const &value)storm::settings::ArgumentBaseprotectedstatic
descriptionstorm::settings::ArgumentBaseprotected
getArgumentValue() conststorm::settings::Argument< T >
getDescription() conststorm::settings::ArgumentBaseinline
getHasBeenSet() conststorm::settings::ArgumentBaseinlinevirtual
getHasDefaultValue() const overridestorm::settings::Argument< T >virtual
getIsOptional() const overridestorm::settings::Argument< T >virtual
getName() conststorm::settings::ArgumentBaseinline
getType() const overridestorm::settings::Argument< T >virtual
getValueAsBoolean() const overridestorm::settings::Argument< T >virtual
getValueAsDouble() const overridestorm::settings::Argument< T >virtual
getValueAsInteger() const overridestorm::settings::Argument< T >virtual
getValueAsString() const overridestorm::settings::Argument< T >virtual
getValueAsUnsignedInteger() const overridestorm::settings::Argument< T >virtual
hasBeenSetstorm::settings::ArgumentBaseprotected
isCompatibleWith(Argument< S > const &other) conststorm::settings::Argument< T >inline
namestorm::settings::ArgumentBaseprotected
printToStream(std::ostream &out) const overridestorm::settings::Argument< T >virtual
setFromDefaultValue() overridestorm::settings::Argument< T >virtual
setFromStringValue(std::string const &fromStringValue) overridestorm::settings::Argument< T >virtual
setFromTypeValue(T const &newValue, bool hasBeenSet=true)storm::settings::Argument< T >
wasSetFromDefaultValue() const overridestorm::settings::Argument< T >virtual
~ArgumentBase()=defaultstorm::settings::ArgumentBasevirtual