Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
SymbolicModelBisimulationDecomposition< TestType > Class Template Reference
Inheritance diagram for SymbolicModelBisimulationDecomposition< TestType >:
Collaboration diagram for SymbolicModelBisimulationDecomposition< TestType >:

Static Public Attributes

static const storm::dd::DdType DdType = TestType::DdType
 

Detailed Description

template<typename TestType>
class SymbolicModelBisimulationDecomposition< TestType >

Definition at line 34 of file SymbolicBisimulationDecompositionTest.cpp.

Member Data Documentation

◆ DdType

template<typename TestType >
const storm::dd::DdType SymbolicModelBisimulationDecomposition< TestType >::DdType = TestType::DdType
static

Definition at line 36 of file SymbolicBisimulationDecompositionTest.cpp.


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