storm::modelchecker::QualitativeCheckResult Class Reference

#include <QualitativeCheckResult.h>

Inheritance diagram for storm::modelchecker::QualitativeCheckResult:

Collaboration diagram for storm::modelchecker::QualitativeCheckResult:

Public Member Functions
virtual	~QualitativeCheckResult ()=default
virtual QualitativeCheckResult &	operator&= (QualitativeCheckResult const &other)
virtual QualitativeCheckResult &	operator|= (QualitativeCheckResult const &other)
virtual void	complement ()
virtual bool	existsTrue () const =0
virtual bool	forallTrue () const =0
virtual uint64_t	count () const =0
virtual bool	isQualitative () 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	isQuantitative () 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

Definition at line 8 of file QualitativeCheckResult.h.

Constructor & Destructor Documentation

~QualitativeCheckResult()

virtual storm::modelchecker::QualitativeCheckResult::~QualitativeCheckResult ( )

virtualdefault

Member Function Documentation

complement()

void storm::modelchecker::QualitativeCheckResult::complement ( )

virtual

Reimplemented in storm::modelchecker::ExplicitQualitativeCheckResult< ValueType >, and storm::modelchecker::SymbolicQualitativeCheckResult< Type >.

Definition at line 16 of file QualitativeCheckResult.cpp.

count()

virtual uint64_t storm::modelchecker::QualitativeCheckResult::count ( ) const

pure virtual

Implemented in storm::modelchecker::ExplicitQualitativeCheckResult< ValueType >, and storm::modelchecker::SymbolicQualitativeCheckResult< Type >.

existsTrue()

virtual bool storm::modelchecker::QualitativeCheckResult::existsTrue ( ) const

pure virtual

Implemented in storm::modelchecker::ExplicitQualitativeCheckResult< ValueType >, and storm::modelchecker::SymbolicQualitativeCheckResult< Type >.

forallTrue()

virtual bool storm::modelchecker::QualitativeCheckResult::forallTrue ( ) const

pure virtual

Implemented in storm::modelchecker::ExplicitQualitativeCheckResult< ValueType >, and storm::modelchecker::SymbolicQualitativeCheckResult< Type >.

isQualitative()

bool storm::modelchecker::QualitativeCheckResult::isQualitative ( ) const

overridevirtual

Reimplemented from storm::modelchecker::CheckResult.

Definition at line 20 of file QualitativeCheckResult.cpp.

operator&=()

QualitativeCheckResult & storm::modelchecker::QualitativeCheckResult::operator&= ( QualitativeCheckResult const & other )

virtual

Reimplemented in storm::modelchecker::ExplicitQualitativeCheckResult< ValueType >, and storm::modelchecker::SymbolicQualitativeCheckResult< Type >.

Definition at line 8 of file QualitativeCheckResult.cpp.

operator|=()

QualitativeCheckResult & storm::modelchecker::QualitativeCheckResult::operator|= ( QualitativeCheckResult const & other )

virtual

Reimplemented in storm::modelchecker::ExplicitQualitativeCheckResult< ValueType >, and storm::modelchecker::SymbolicQualitativeCheckResult< Type >.

Definition at line 12 of file QualitativeCheckResult.cpp.

---

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

• src/storm/modelchecker/results/QualitativeCheckResult.h
• src/storm/modelchecker/results/QualitativeCheckResult.cpp