Storm
A Modern Probabilistic Model Checker
|
#include <ArgumentValidators.h>
Public Types | |
enum class | Mode { Exists , Writable } |
Public Member Functions | |
FileValidator (Mode mode) | |
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 43 of file ArgumentValidators.h.
Enumerator | |
---|---|
Exists | |
Writable |
Definition at line 45 of file ArgumentValidators.h.
storm::settings::FileValidator::FileValidator | ( | Mode | mode | ) |
Definition at line 74 of file ArgumentValidators.cpp.
Checks whether the argument passes the validation.
Implements storm::settings::ArgumentValidator< std::string >.
Definition at line 78 of file ArgumentValidators.cpp.
|
overridevirtual |
Retrieves a string representation of the valid values.
Implements storm::settings::ArgumentValidator< std::string >.
Definition at line 102 of file ArgumentValidators.cpp.