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

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

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
getDescription() conststorm::settings::ArgumentBaseinline
getHasBeenSet() conststorm::settings::ArgumentBaseinlinevirtual
getHasDefaultValue() const =0storm::settings::ArgumentBasepure virtual
getIsOptional() const =0storm::settings::ArgumentBasepure virtual
getName() conststorm::settings::ArgumentBaseinline
getType() const =0storm::settings::ArgumentBasepure virtual
getValueAsBoolean() const =0storm::settings::ArgumentBasepure virtual
getValueAsDouble() const =0storm::settings::ArgumentBasepure virtual
getValueAsInteger() const =0storm::settings::ArgumentBasepure virtual
getValueAsString() const =0storm::settings::ArgumentBasepure virtual
getValueAsUnsignedInteger() const =0storm::settings::ArgumentBasepure virtual
hasBeenSetstorm::settings::ArgumentBaseprotected
namestorm::settings::ArgumentBaseprotected
operator<<storm::settings::ArgumentBasefriend
printToStream(std::ostream &out) const =0storm::settings::ArgumentBasepure virtual
setFromDefaultValue()=0storm::settings::ArgumentBasepure virtual
setFromStringValue(std::string const &stringValue)=0storm::settings::ArgumentBasepure virtual
wasSetFromDefaultValue() const =0storm::settings::ArgumentBasepure virtual
~ArgumentBase()=defaultstorm::settings::ArgumentBasevirtual