GameBasedDtmcModelCheckerTest< TestType > Class Template Reference

Inheritance diagram for GameBasedDtmcModelCheckerTest< TestType >:

Collaboration diagram for GameBasedDtmcModelCheckerTest< TestType >:

Static Public Attributes
static const storm::dd::DdType	DdType = TestType::DdType

Protected Member Functions
void	SetUp () override

Detailed Description

template<typename TestType>
class GameBasedDtmcModelCheckerTest< TestType >

Definition at line 29 of file GameBasedDtmcModelCheckerTest.cpp.

Member Function Documentation

SetUp()

template<typename TestType >

void GameBasedDtmcModelCheckerTest< TestType >::SetUp ( )

inlineoverrideprotected

Definition at line 34 of file GameBasedDtmcModelCheckerTest.cpp.

Member Data Documentation

DdType

template<typename TestType >

const storm::dd::DdType GameBasedDtmcModelCheckerTest< TestType >::DdType = TestType::DdType

static

Definition at line 31 of file GameBasedDtmcModelCheckerTest.cpp.

---

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

• src/test/storm-gamebased-ar/modelchecker/abstraction/GameBasedDtmcModelCheckerTest.cpp