Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
storm::modelchecker::ParetoCurveCheckResult< ValueType > Class Template Reference

#include <ParetoCurveCheckResult.h>

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

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
 
ExplicitQualitativeCheckResult & asExplicitQualitativeCheckResult ()
 
ExplicitQualitativeCheckResult 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 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: