storm::modelchecker::RegionRefinementCheckResult< ValueType > Class Template Reference

#include <RegionRefinementCheckResult.h>

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

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

Public Member Functions
	RegionRefinementCheckResult (std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > const &regionResults, storm::storage::ParameterRegion< ValueType > const &parameterSpace)
	RegionRefinementCheckResult (std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > &&regionResults, storm::storage::ParameterRegion< ValueType > &&parameterSpace)
virtual	~RegionRefinementCheckResult ()=default
virtual bool	isRegionRefinementCheckResult () const override
storm::storage::ParameterRegion< ValueType > const &	getParameterSpace () const
virtual std::ostream &	writeIllustrationToStream (std::ostream &out) const override
virtual std::unique_ptr< CheckResult >	clone () const override
Public Member Functions inherited from storm::modelchecker::RegionCheckResult< ValueType >
	RegionCheckResult (std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > const &regionResults)
	RegionCheckResult (std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > &&regionResults)
virtual	~RegionCheckResult ()=default
virtual bool	isRegionCheckResult () const
std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > const &	getRegionResults () const
storm::storage::ParameterRegion< ValueType >::CoefficientType const &	getSatFraction () const
storm::storage::ParameterRegion< ValueType >::CoefficientType const &	getUnsatFraction () const
storm::storage::ParameterRegion< ValueType >::CoefficientType const &	getIllDefinedFraction () const
virtual std::ostream &	writeToStream (std::ostream &out) const override
virtual std::ostream &	writeCondensedToStream (std::ostream &out) const
virtual void	filter (QualitativeCheckResult const &filter) override
	Filters the current result wrt.
Public Member Functions inherited from storm::modelchecker::CheckResult
virtual	~CheckResult ()=default
virtual bool	isExplicit () const
virtual bool	isSymbolic () const
virtual bool	isHybrid () const
virtual bool	isQuantitative () 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.
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

Protected Attributes
storm::storage::ParameterRegion< ValueType >	parameterSpace
Protected Attributes inherited from storm::modelchecker::RegionCheckResult< ValueType >
std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > >	regionResults
storm::storage::ParameterRegion< ValueType >::CoefficientType	satFraction
storm::storage::ParameterRegion< ValueType >::CoefficientType	unsatFraction
storm::storage::ParameterRegion< ValueType >::CoefficientType	illDefinedFraction

Additional Inherited Members
Protected Member Functions inherited from storm::modelchecker::RegionCheckResult< ValueType >
virtual void	initFractions (typename storm::storage::ParameterRegion< ValueType >::CoefficientType const &overallArea)

Detailed Description

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

Definition at line 12 of file RegionRefinementCheckResult.h.

Constructor & Destructor Documentation

RegionRefinementCheckResult() [1/2]

template<typename ValueType>

storm::modelchecker::RegionRefinementCheckResult< ValueType >::RegionRefinementCheckResult	(	std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > const &	regionResults,
		storm::storage::ParameterRegion< ValueType > const &	parameterSpace )

Definition at line 12 of file RegionRefinementCheckResult.cpp.

RegionRefinementCheckResult() [2/2]

template<typename ValueType>

storm::modelchecker::RegionRefinementCheckResult< ValueType >::RegionRefinementCheckResult	(	std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > &&	regionResults,
		storm::storage::ParameterRegion< ValueType > &&	parameterSpace )

Definition at line 20 of file RegionRefinementCheckResult.cpp.

~RegionRefinementCheckResult()

template<typename ValueType>

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

virtualdefault

Member Function Documentation

clone()

template<typename ValueType>

std::unique_ptr< CheckResult > storm::modelchecker::RegionRefinementCheckResult< ValueType >::clone ( ) const

overridevirtual

Reimplemented from storm::modelchecker::RegionCheckResult< ValueType >.

Definition at line 38 of file RegionRefinementCheckResult.cpp.

getParameterSpace()

template<typename ValueType>

storm::storage::ParameterRegion< ValueType > const & storm::modelchecker::RegionRefinementCheckResult< ValueType >::getParameterSpace

(

)

const

Definition at line 33 of file RegionRefinementCheckResult.cpp.

isRegionRefinementCheckResult()

template<typename ValueType>

bool storm::modelchecker::RegionRefinementCheckResult< ValueType >::isRegionRefinementCheckResult ( ) const

overridevirtual

Reimplemented from storm::modelchecker::RegionCheckResult< ValueType >.

Definition at line 28 of file RegionRefinementCheckResult.cpp.

writeIllustrationToStream()

template<typename ValueType>

std::ostream & storm::modelchecker::RegionRefinementCheckResult< ValueType >::writeIllustrationToStream ( std::ostream & out ) const

overridevirtual

Reimplemented from storm::modelchecker::RegionCheckResult< ValueType >.

Definition at line 43 of file RegionRefinementCheckResult.cpp.

Member Data Documentation

parameterSpace

template<typename ValueType>

storm::storage::ParameterRegion<ValueType> storm::modelchecker::RegionRefinementCheckResult< ValueType >::parameterSpace

protected

Definition at line 29 of file RegionRefinementCheckResult.h.

---

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

• src/storm-pars/modelchecker/results/RegionRefinementCheckResult.h
• src/storm-pars/modelchecker/results/RegionRefinementCheckResult.cpp