Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::gbar::abstraction::QualitativeResult Class Reference

#include <QualitativeResult.h>

Inheritance diagram for storm::gbar::abstraction::QualitativeResult:
Inheritance graph
[legend]

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: