Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | List of all members
Dd< TestType > Class Template Reference
Inheritance diagram for Dd< TestType >:
Inheritance graph
[legend]
Collaboration diagram for Dd< TestType >:
Collaboration graph
[legend]

Public Member Functions

void SetUp () override
 

Static Public Attributes

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

Detailed Description

template<typename TestType>
class Dd< TestType >

Definition at line 38 of file DdTest.cpp.

Member Function Documentation

◆ SetUp()

template<typename TestType >
void Dd< TestType >::SetUp ( )
inlineoverride

Definition at line 40 of file DdTest.cpp.

Member Data Documentation

◆ DdType

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

Definition at line 44 of file DdTest.cpp.

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