storm::gbar::abstraction::StateSet Class Reference

#include <StateSet.h>

Inheritance diagram for storm::gbar::abstraction::StateSet:

Public Member Functions
virtual	~StateSet ()=default
virtual bool	isSymbolic () const
template<storm::dd::DdType Type>
SymbolicStateSet< Type > const &	asSymbolicStateSet () const
template<storm::dd::DdType Type>
SymbolicStateSet< Type > &	asSymbolicStateSet ()
template<storm::dd::DdType Type>
SymbolicStateSet< Type > const &	asSymbolicStateSet () const

Detailed Description

Definition at line 11 of file StateSet.h.

Constructor & Destructor Documentation

~StateSet()

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

virtualdefault

Member Function Documentation

asSymbolicStateSet() [1/3]

template<storm::dd::DdType Type>

template SymbolicStateSet< storm::dd::DdType::Sylvan > & storm::gbar::abstraction::StateSet::asSymbolicStateSet

(

)

Definition at line 18 of file StateSet.cpp.

asSymbolicStateSet() [2/3]

template<storm::dd::DdType Type>

template SymbolicStateSet< storm::dd::DdType::Sylvan > const & storm::gbar::abstraction::StateSet::asSymbolicStateSet

(

)

const

Definition at line 13 of file StateSet.cpp.

asSymbolicStateSet() [3/3]

template<storm::dd::DdType Type>

SymbolicStateSet< Type > const & storm::gbar::abstraction::StateSet::asSymbolicStateSet

(

)

const

isSymbolic()

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

virtual

Reimplemented in storm::gbar::abstraction::SymbolicStateSet< Type >.

Definition at line 8 of file StateSet.cpp.

---

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

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