Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::MultipleChoiceValidator Class Reference

#include <ArgumentValidators.h>

Inheritance diagram for storm::settings::MultipleChoiceValidator:
Collaboration diagram for storm::settings::MultipleChoiceValidator:

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
 

Detailed Description

Definition at line 56 of file ArgumentValidators.h.

Constructor & Destructor Documentation

◆ MultipleChoiceValidator()

storm::settings::MultipleChoiceValidator::MultipleChoiceValidator ( std::vector< std::string > const legalValues)

Definition at line 110 of file ArgumentValidators.cpp.

Member Function Documentation

◆ isValid()

bool storm::settings::MultipleChoiceValidator::isValid ( std::string const value)
overridevirtual

Checks whether the argument passes the validation.

Implements storm::settings::ArgumentValidator< std::string >.

Definition at line 114 of file ArgumentValidators.cpp.

◆ toString()

std::string storm::settings::MultipleChoiceValidator::toString ( ) const
overridevirtual

Retrieves a string representation of the valid values.

Implements storm::settings::ArgumentValidator< std::string >.

Definition at line 123 of file ArgumentValidators.cpp.


The documentation for this class was generated from the following files: