#include <ParetoCurveCheckResult.h>

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

[legend]

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

Public Types
typedef std::vector< ValueType >	point_type
typedef std::shared_ptr< storm::storage::geometry::Polytope< ValueType > >	polytope_type

Public Member Functions
	ParetoCurveCheckResult ()
virtual bool	isParetoCurveCheckResult () const override
std::vector< point_type > const &	getPoints () const
bool	hasUnderApproximation () const
bool	hasOverApproximation () const
polytope_type const &	getUnderApproximation () const
polytope_type const &	getOverApproximation () const
virtual std::ostream &	writeToStream (std::ostream &out) 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	isQualitative () 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 Member Functions
	ParetoCurveCheckResult (std::vector< point_type > const &points, polytope_type const &underApproximation=nullptr, polytope_type const &overApproximation=nullptr)
	ParetoCurveCheckResult (std::vector< point_type > &&points, polytope_type &&underApproximation=nullptr, polytope_type &&overApproximation=nullptr)

Protected Attributes
std::vector< point_type >	points
polytope_type	underApproximation
polytope_type	overApproximation

Detailed Description

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

Definition at line 12 of file ParetoCurveCheckResult.h.

Member Typedef Documentation

◆ point_type

template<typename ValueType>

typedef std::vector<ValueType> storm::modelchecker::ParetoCurveCheckResult< ValueType >::point_type

Definition at line 14 of file ParetoCurveCheckResult.h.

◆ polytope_type

template<typename ValueType>

typedef std::shared_ptr<storm::storage::geometry::Polytope<ValueType> > storm::modelchecker::ParetoCurveCheckResult< ValueType >::polytope_type

Definition at line 15 of file ParetoCurveCheckResult.h.

Constructor & Destructor Documentation

◆ ParetoCurveCheckResult() [1/3]

template<typename ValueType>

storm::modelchecker::ParetoCurveCheckResult< ValueType >::ParetoCurveCheckResult ( )

Definition at line 10 of file ParetoCurveCheckResult.cpp.

◆ ParetoCurveCheckResult() [2/3]

template<typename ValueType>

storm::modelchecker::ParetoCurveCheckResult< ValueType >::ParetoCurveCheckResult	(	std::vector< point_type > const &	points,
		polytope_type const &	underApproximation = nullptr,
		polytope_type const &	overApproximation = nullptr )

protected

Definition at line 15 of file ParetoCurveCheckResult.cpp.

◆ ParetoCurveCheckResult() [3/3]

template<typename ValueType>

storm::modelchecker::ParetoCurveCheckResult< ValueType >::ParetoCurveCheckResult	(	std::vector< point_type > &&	points,
		polytope_type &&	underApproximation = nullptr,
		polytope_type &&	overApproximation = nullptr )

protected

Definition at line 22 of file ParetoCurveCheckResult.cpp.

Member Function Documentation

◆ getOverApproximation()

template<typename ValueType>

ParetoCurveCheckResult< ValueType >::polytope_type const & storm::modelchecker::ParetoCurveCheckResult< ValueType >::getOverApproximation ( ) const

Definition at line 55 of file ParetoCurveCheckResult.cpp.

◆ getPoints()

template<typename ValueType>

std::vector< typename ParetoCurveCheckResult< ValueType >::point_type > const & storm::modelchecker::ParetoCurveCheckResult< ValueType >::getPoints ( ) const

Definition at line 34 of file ParetoCurveCheckResult.cpp.

◆ getUnderApproximation()

template<typename ValueType>

ParetoCurveCheckResult< ValueType >::polytope_type const & storm::modelchecker::ParetoCurveCheckResult< ValueType >::getUnderApproximation ( ) const

Definition at line 49 of file ParetoCurveCheckResult.cpp.

◆ hasOverApproximation()

template<typename ValueType>

bool storm::modelchecker::ParetoCurveCheckResult< ValueType >::hasOverApproximation ( ) const

Definition at line 44 of file ParetoCurveCheckResult.cpp.

◆ hasUnderApproximation()

template<typename ValueType>

bool storm::modelchecker::ParetoCurveCheckResult< ValueType >::hasUnderApproximation ( ) const

Definition at line 39 of file ParetoCurveCheckResult.cpp.

◆ isParetoCurveCheckResult()

template<typename ValueType>

bool storm::modelchecker::ParetoCurveCheckResult< ValueType >::isParetoCurveCheckResult ( ) const

overridevirtual

Reimplemented from storm::modelchecker::CheckResult.

Definition at line 29 of file ParetoCurveCheckResult.cpp.

◆ writeToStream()

template<typename ValueType>

std::ostream & storm::modelchecker::ParetoCurveCheckResult< ValueType >::writeToStream ( std::ostream & out ) const

overridevirtual

Implements storm::modelchecker::CheckResult.

Definition at line 61 of file ParetoCurveCheckResult.cpp.

Member Data Documentation

◆ overApproximation

template<typename ValueType>

polytope_type storm::modelchecker::ParetoCurveCheckResult< ValueType >::overApproximation

protected

Definition at line 41 of file ParetoCurveCheckResult.h.

◆ points

template<typename ValueType>

std::vector<point_type> storm::modelchecker::ParetoCurveCheckResult< ValueType >::points

protected

Definition at line 35 of file ParetoCurveCheckResult.h.

◆ underApproximation

template<typename ValueType>

polytope_type storm::modelchecker::ParetoCurveCheckResult< ValueType >::underApproximation

protected

Definition at line 38 of file ParetoCurveCheckResult.h.

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

src/storm/modelchecker/results/ParetoCurveCheckResult.h
src/storm/modelchecker/results/ParetoCurveCheckResult.cpp

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Member Typedef Documentation

◆ point_type

◆ polytope_type

Constructor & Destructor Documentation

◆ ParetoCurveCheckResult() [1/3]

◆ ParetoCurveCheckResult() [2/3]

◆ ParetoCurveCheckResult() [3/3]

Member Function Documentation

◆ getOverApproximation()

◆ getPoints()

◆ getUnderApproximation()

◆ hasOverApproximation()

◆ hasUnderApproximation()

◆ isParetoCurveCheckResult()

◆ writeToStream()

Member Data Documentation

◆ overApproximation

◆ points

◆ underApproximation