Storm
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. | |
![]() | |
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.
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.