SymbolicModelBisimulationDecomposition< TestType > Class Template Reference

Inheritance diagram for SymbolicModelBisimulationDecomposition< TestType >:

Collaboration diagram for SymbolicModelBisimulationDecomposition< TestType >:

Public Member Functions
void	SetUp () override

Public Attributes
storm::Environment	env

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

Detailed Description

template<typename TestType>
class SymbolicModelBisimulationDecomposition< TestType >

Definition at line 44 of file SymbolicBisimulationDecompositionTest.cpp.

Member Function Documentation

SetUp()

template<typename TestType>

void SymbolicModelBisimulationDecomposition< TestType >::SetUp ( )

inlineoverride

Definition at line 46 of file SymbolicBisimulationDecompositionTest.cpp.

Member Data Documentation

DdType

template<typename TestType>

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

static

Definition at line 52 of file SymbolicBisimulationDecompositionTest.cpp.

env

template<typename TestType>

storm::Environment SymbolicModelBisimulationDecomposition< TestType >::env

Definition at line 50 of file SymbolicBisimulationDecompositionTest.cpp.

---

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

• src/test/storm/storage/SymbolicBisimulationDecompositionTest.cpp