Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::settings::RangeArgumentValidator< ValueType > Class Template Reference

#include <ArgumentValidators.h>

Inheritance diagram for storm::settings::RangeArgumentValidator< ValueType >:
Inheritance graph
[legend]
Collaboration diagram for storm::settings::RangeArgumentValidator< ValueType >:
Collaboration graph
[legend]

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: