|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include <ArgumentValidators.h>


Public Member Functions | |
| MultipleChoiceValidator (std::vector< std::string > const &legalValues) | |
| virtual bool | isValid (std::string const &value) override |
| Checks whether the argument passes the validation. | |
| virtual std::string | toString () const override |
| Retrieves a string representation of the valid values. | |
Public Member Functions inherited from storm::settings::ArgumentValidator< std::string > | |
| virtual | ~ArgumentValidator ()=default |
Definition at line 56 of file ArgumentValidators.h.
| storm::settings::MultipleChoiceValidator::MultipleChoiceValidator | ( | std::vector< std::string > const & | legalValues | ) |
Definition at line 110 of file ArgumentValidators.cpp.
|
overridevirtual |
Checks whether the argument passes the validation.
Implements storm::settings::ArgumentValidator< std::string >.
Definition at line 114 of file ArgumentValidators.cpp.
|
overridevirtual |
Retrieves a string representation of the valid values.
Implements storm::settings::ArgumentValidator< std::string >.
Definition at line 123 of file ArgumentValidators.cpp.