Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::modelchecker::QuantitativeCheckResult< ValueType > Class Template Referenceabstract

#include <QuantitativeCheckResult.h>

Inheritance diagram for storm::modelchecker::QuantitativeCheckResult< ValueType >:
Inheritance graph
[legend]
Collaboration diagram for storm::modelchecker::QuantitativeCheckResult< ValueType >:
Collaboration graph
[legend]

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 ValueType getMin () const =0
virtual ValueType getMax () const =0
virtual ValueType average () const =0
virtual ValueType sum () const =0
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 8 of file QuantitativeCheckResult.h.

Constructor & Destructor Documentation

◆ ~QuantitativeCheckResult()

template<typename ValueType>
virtual storm::modelchecker::QuantitativeCheckResult< ValueType >::~QuantitativeCheckResult ( )
virtualdefault

Member Function Documentation

◆ average()

template<typename ValueType>
virtual ValueType 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
virtual

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

Definition at line 11 of file QuantitativeCheckResult.cpp.

◆ getMax()

template<typename ValueType>
virtual ValueType storm::modelchecker::QuantitativeCheckResult< ValueType >::getMax ( ) const
pure virtual

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

◆ getMin()

template<typename ValueType>
virtual ValueType storm::modelchecker::QuantitativeCheckResult< ValueType >::getMin ( ) const
pure virtual

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

◆ isQuantitative()

template<typename ValueType>
bool storm::modelchecker::QuantitativeCheckResult< ValueType >::isQuantitative ( ) const
overridevirtual

Reimplemented from storm::modelchecker::CheckResult.

Definition at line 16 of file QuantitativeCheckResult.cpp.

◆ oneMinus()

template<typename ValueType>
virtual void storm::modelchecker::QuantitativeCheckResult< ValueType >::oneMinus ( )
pure virtual

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

◆ sum()

template<typename ValueType>
virtual ValueType storm::modelchecker::QuantitativeCheckResult< ValueType >::sum ( ) const
pure virtual

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

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