storm::settings::ArgumentValidator< ValueType > Class Template Reference

#include <ArgumentValidators.h>

Inheritance diagram for storm::settings::ArgumentValidator< ValueType >:

Public Member Functions
virtual	~ArgumentValidator ()=default
virtual bool	isValid (ValueType const &value)=0
	Checks whether the argument passes the validation.
virtual std::string	toString () const =0
	Retrieves a string representation of the valid values.

Detailed Description

template<typename ValueType>
class storm::settings::ArgumentValidator< ValueType >

Definition at line 13 of file ArgumentValidators.h.

Constructor & Destructor Documentation

~ArgumentValidator()

template<typename ValueType >

virtual storm::settings::ArgumentValidator< ValueType >::~ArgumentValidator ( )

virtualdefault

Member Function Documentation

isValid()

template<typename ValueType >

virtual bool storm::settings::ArgumentValidator< ValueType >::isValid ( ValueType const &  value )

pure virtual

Checks whether the argument passes the validation.

Implemented in storm::settings::FileValidator, storm::settings::MultipleChoiceValidator, and storm::settings::RangeArgumentValidator< ValueType >.

toString()

template<typename ValueType >

virtual std::string storm::settings::ArgumentValidator< ValueType >::toString ( ) const

pure virtual

Retrieves a string representation of the valid values.

Implemented in storm::settings::RangeArgumentValidator< ValueType >, storm::settings::FileValidator, and storm::settings::MultipleChoiceValidator.

---

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

• src/storm/settings/Argument.h
• src/storm/settings/ArgumentValidators.h