storm::gbar::abstraction::QualitativeResult Class Reference

#include <QualitativeResult.h>

Inheritance diagram for storm::gbar::abstraction::QualitativeResult:

Public Member Functions
virtual	~QualitativeResult ()=default
virtual bool	isSymbolic () const
virtual bool	isExplicit () const
template<storm::dd::DdType Type>
SymbolicQualitativeResult< Type > &	asSymbolicQualitativeResult ()
template<storm::dd::DdType Type>
SymbolicQualitativeResult< Type > const &	asSymbolicQualitativeResult () const
ExplicitQualitativeResult &	asExplicitQualitativeResult ()
ExplicitQualitativeResult const &	asExplicitQualitativeResult () const
template<storm::dd::DdType Type>
SymbolicQualitativeResult< Type > const &	asSymbolicQualitativeResult () const

Detailed Description

Definition at line 13 of file QualitativeResult.h.

Constructor & Destructor Documentation

~QualitativeResult()

virtual storm::gbar::abstraction::QualitativeResult::~QualitativeResult ( )

virtualdefault

Member Function Documentation

asExplicitQualitativeResult() [1/2]

ExplicitQualitativeResult & storm::gbar::abstraction::QualitativeResult::asExplicitQualitativeResult

(

)

Definition at line 27 of file QualitativeResult.cpp.

asExplicitQualitativeResult() [2/2]

ExplicitQualitativeResult const & storm::gbar::abstraction::QualitativeResult::asExplicitQualitativeResult

(

)

const

Definition at line 31 of file QualitativeResult.cpp.

asSymbolicQualitativeResult() [1/3]

template<storm::dd::DdType Type>

SymbolicQualitativeResult< Type > & storm::gbar::abstraction::QualitativeResult::asSymbolicQualitativeResult

(

)

Definition at line 18 of file QualitativeResult.cpp.

asSymbolicQualitativeResult() [2/3]

template<storm::dd::DdType Type>

SymbolicQualitativeResult< Type > const & storm::gbar::abstraction::QualitativeResult::asSymbolicQualitativeResult

(

)

const

Definition at line 23 of file QualitativeResult.cpp.

asSymbolicQualitativeResult() [3/3]

template<storm::dd::DdType Type>

SymbolicQualitativeResult< Type > const & storm::gbar::abstraction::QualitativeResult::asSymbolicQualitativeResult

(

)

const

isExplicit()

bool storm::gbar::abstraction::QualitativeResult::isExplicit ( ) const

virtual

Definition at line 13 of file QualitativeResult.cpp.

isSymbolic()

bool storm::gbar::abstraction::QualitativeResult::isSymbolic ( ) const

virtual

Definition at line 9 of file QualitativeResult.cpp.

---

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

• src/storm-gamebased-ar/abstraction/QualitativeResult.h
• src/storm-gamebased-ar/abstraction/QualitativeResult.cpp