| 
    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.