Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::RangeArgumentValidator< ValueType > Class Template Reference

#include <ArgumentValidators.h>

Inheritance diagram for storm::settings::RangeArgumentValidator< ValueType >:
Collaboration diagram for storm::settings::RangeArgumentValidator< ValueType >:

Public Member Functions

 RangeArgumentValidator (boost::optional< ValueType > const &lower, boost::optional< ValueType > const &upper, bool lowerIncluded, bool upperIncluded)
virtual bool isValid (ValueType 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< ValueType >
virtual ~ArgumentValidator ()=default

Detailed Description

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

Definition at line 29 of file ArgumentValidators.h.

Constructor & Destructor Documentation

◆ RangeArgumentValidator()

template<typename ValueType>
storm::settings::RangeArgumentValidator< ValueType >::RangeArgumentValidator ( boost::optional< ValueType > const & lower,
boost::optional< ValueType > const & upper,
bool lowerIncluded,
bool upperIncluded )

Definition at line 19 of file ArgumentValidators.cpp.

Member Function Documentation

◆ isValid()

template<typename ValueType>
bool storm::settings::RangeArgumentValidator< ValueType >::isValid ( ValueType const & value)
overridevirtual

Checks whether the argument passes the validation.

Implements storm::settings::ArgumentValidator< ValueType >.

Definition at line 26 of file ArgumentValidators.cpp.

◆ toString()

template<typename ValueType>
std::string storm::settings::RangeArgumentValidator< ValueType >::toString ( ) const
overridevirtual

Retrieves a string representation of the valid values.

Implements storm::settings::ArgumentValidator< ValueType >.

Definition at line 46 of file ArgumentValidators.cpp.


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