#include <QuantitativeCheckResult.h>

Inheritance diagram for storm::modelchecker::QuantitativeCheckResult< ValueType >:

[legend]

Collaboration diagram for storm::modelchecker::QuantitativeCheckResult< ValueType >:

Public Types
typedef storm::utility::ExtendedValueType< ValueType >	ExtendedValueType

Public Member Functions
virtual	~QuantitativeCheckResult ()=default
virtual std::unique_ptr< CheckResult >	compareAgainstBound (storm::logic::ComparisonType comparisonType, ValueType const &bound) const
virtual void	oneMinus ()=0
virtual ExtendedValueType	getMin () const =0
virtual ExtendedValueType	getMax () const =0
virtual ExtendedValueType	average () const =0
virtual ExtendedValueType	sum () const =0
virtual AggregatedValue< ExtendedValueType >	aggregate (FilterType filter) const
	Aggregates the values of this result with the given filter, and each bound it carries alongside.
virtual bool	isQuantitative () const override
Public Member Functions inherited from storm::modelchecker::CheckResult
virtual	~CheckResult ()=default
virtual std::unique_ptr< CheckResult >	clone () const =0
virtual void	filter (QualitativeCheckResult const &filter)=0
	Filters the current result wrt.
virtual bool	isExplicit () const
virtual bool	isSymbolic () const
virtual bool	isHybrid () const
virtual bool	isQualitative () const
virtual bool	isParetoCurveCheckResult () const
virtual bool	isLexicographicCheckResult () const
virtual bool	isExplicitQualitativeCheckResult () const
virtual bool	isExplicitQuantitativeCheckResult () const
virtual bool	isExplicitParetoCurveCheckResult () const
virtual bool	isSymbolicQualitativeCheckResult () const
virtual bool	isSymbolicQuantitativeCheckResult () const
virtual bool	isSymbolicParetoCurveCheckResult () const
virtual bool	isHybridQuantitativeCheckResult () const
virtual bool	isResultForAllStates () const
QualitativeCheckResult &	asQualitativeCheckResult ()
QualitativeCheckResult const &	asQualitativeCheckResult () const
template<typename ValueType>
QuantitativeCheckResult< ValueType > &	asQuantitativeCheckResult ()
template<typename ValueType>
QuantitativeCheckResult< ValueType > const &	asQuantitativeCheckResult () const
template<typename ValueType>
ExplicitQualitativeCheckResult< ValueType > &	asExplicitQualitativeCheckResult ()
template<typename ValueType>
ExplicitQualitativeCheckResult< ValueType > const &	asExplicitQualitativeCheckResult () const
template<typename ValueType>
ExplicitQuantitativeCheckResult< ValueType > &	asExplicitQuantitativeCheckResult ()
template<typename ValueType>
ExplicitQuantitativeCheckResult< ValueType > const &	asExplicitQuantitativeCheckResult () const
template<typename ValueType>
ExplicitParetoCurveCheckResult< ValueType > &	asExplicitParetoCurveCheckResult ()
template<typename ValueType>
ExplicitParetoCurveCheckResult< ValueType > const &	asExplicitParetoCurveCheckResult () const
template<typename ValueType>
LexicographicCheckResult< ValueType > &	asLexicographicCheckResult ()
template<typename ValueType>
LexicographicCheckResult< ValueType > const &	asLexicographicCheckResult () const
template<storm::dd::DdType Type>
SymbolicQualitativeCheckResult< Type > &	asSymbolicQualitativeCheckResult ()
template<storm::dd::DdType Type>
SymbolicQualitativeCheckResult< Type > const &	asSymbolicQualitativeCheckResult () const
template<storm::dd::DdType Type, typename ValueType>
SymbolicQuantitativeCheckResult< Type, ValueType > &	asSymbolicQuantitativeCheckResult ()
template<storm::dd::DdType Type, typename ValueType>
SymbolicQuantitativeCheckResult< Type, ValueType > const &	asSymbolicQuantitativeCheckResult () const
template<storm::dd::DdType Type, typename ValueType>
HybridQuantitativeCheckResult< Type, ValueType > &	asHybridQuantitativeCheckResult ()
template<storm::dd::DdType Type, typename ValueType>
HybridQuantitativeCheckResult< Type, ValueType > const &	asHybridQuantitativeCheckResult () const
template<storm::dd::DdType Type, typename ValueType>
SymbolicParetoCurveCheckResult< Type, ValueType > &	asSymbolicParetoCurveCheckResult ()
template<storm::dd::DdType Type, typename ValueType>
SymbolicParetoCurveCheckResult< Type, ValueType > const &	asSymbolicParetoCurveCheckResult () const
virtual bool	hasScheduler () const
template<typename T>
bool	hasValueType () const
	Checks whether the ValueType of the result matches the given type.
virtual std::ostream &	writeToStream (std::ostream &out) const =0
template<typename ValueType>
ExplicitQualitativeCheckResult< ValueType > const &	asExplicitQualitativeCheckResult () const
template<typename ValueType>
ExplicitQuantitativeCheckResult< ValueType > const &	asExplicitQuantitativeCheckResult () const
template<typename ValueType>
ExplicitParetoCurveCheckResult< ValueType > const &	asExplicitParetoCurveCheckResult () const
template<typename ValueType>
LexicographicCheckResult< ValueType > const &	asLexicographicCheckResult () const
template<typename ValueType>
QuantitativeCheckResult< ValueType > const &	asQuantitativeCheckResult () const
template<storm::dd::DdType Type>
SymbolicQualitativeCheckResult< Type > const &	asSymbolicQualitativeCheckResult () const
template<storm::dd::DdType Type, typename ValueType>
SymbolicQuantitativeCheckResult< Type, ValueType > const &	asSymbolicQuantitativeCheckResult () const
template<storm::dd::DdType Type, typename ValueType>
HybridQuantitativeCheckResult< Type, ValueType > const &	asHybridQuantitativeCheckResult () const
template<storm::dd::DdType Type, typename ValueType>
SymbolicParetoCurveCheckResult< Type, ValueType > const &	asSymbolicParetoCurveCheckResult () const

Detailed Description

template<typename ValueType>
class storm::modelchecker::QuantitativeCheckResult< ValueType >

Definition at line 32 of file QuantitativeCheckResult.h.

Member Typedef Documentation

◆ ExtendedValueType

template<typename ValueType>

typedef storm::utility::ExtendedValueType<ValueType> storm::modelchecker::QuantitativeCheckResult< ValueType >::ExtendedValueType

Definition at line 34 of file QuantitativeCheckResult.h.

Constructor & Destructor Documentation

◆ ~QuantitativeCheckResult()

template<typename ValueType>

virtual storm::modelchecker::QuantitativeCheckResult< ValueType >::~QuantitativeCheckResult ( )

virtualdefault

Member Function Documentation

◆ aggregate()

template<typename ValueType>

AggregatedValue< typename QuantitativeCheckResult< ValueType >::ExtendedValueType > storm::modelchecker::QuantitativeCheckResult< ValueType >::aggregate ( FilterType filter ) const

virtual

Aggregates the values of this result with the given filter, and each bound it carries alongside.

Every aggregation offered here is monotone in each value, so aggregating a bound bounds the aggregate.

Parameters

filter One of MIN, MAX, SUM or AVG.

Reimplemented in storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >.

Definition at line 16 of file QuantitativeCheckResult.cpp.

◆ average()

template<typename ValueType>

virtual ExtendedValueType storm::modelchecker::QuantitativeCheckResult< ValueType >::average ( ) const

pure virtual

Implemented in storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, and storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >.

◆ compareAgainstBound()

template<typename ValueType>

std::unique_ptr< CheckResult > storm::modelchecker::QuantitativeCheckResult< ValueType >::compareAgainstBound	(	storm::logic::ComparisonType	comparisonType,
		ValueType const &	bound ) const