storm::modelchecker::AggregatedValue< ValueType > Struct Template Reference

The aggregate of the values of a quantitative check result, together with the aggregate of each bound the result carries. More...

#include <QuantitativeCheckResult.h>

Public Member Functions
bool	hasLower () const
bool	hasUpper () const

Public Attributes
ValueType	value
std::optional< ValueType >	lower
std::optional< ValueType >	upper

Detailed Description

template<typename ValueType>
struct storm::modelchecker::AggregatedValue< ValueType >

The aggregate of the values of a quantitative check result, together with the aggregate of each bound the result carries.

Definition at line 17 of file QuantitativeCheckResult.h.

Member Function Documentation

hasLower()

template<typename ValueType>

bool storm::modelchecker::AggregatedValue< ValueType >::hasLower ( ) const

inline

Definition at line 22 of file QuantitativeCheckResult.h.

hasUpper()

template<typename ValueType>

bool storm::modelchecker::AggregatedValue< ValueType >::hasUpper ( ) const

inline

Definition at line 26 of file QuantitativeCheckResult.h.

Member Data Documentation

lower

template<typename ValueType>

std::optional<ValueType> storm::modelchecker::AggregatedValue< ValueType >::lower

Definition at line 19 of file QuantitativeCheckResult.h.

upper

template<typename ValueType>

std::optional<ValueType> storm::modelchecker::AggregatedValue< ValueType >::upper

Definition at line 20 of file QuantitativeCheckResult.h.

value

template<typename ValueType>

ValueType storm::modelchecker::AggregatedValue< ValueType >::value

Definition at line 18 of file QuantitativeCheckResult.h.

---

The documentation for this struct was generated from the following file:

• src/storm/modelchecker/results/QuantitativeCheckResult.h