FullySymbolicGameSolverTest< TestType > Class Template Reference

Inheritance diagram for FullySymbolicGameSolverTest< TestType >:

Collaboration diagram for FullySymbolicGameSolverTest< TestType >:

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

Detailed Description

template<typename TestType>
class FullySymbolicGameSolverTest< TestType >

Definition at line 22 of file FullySymbolicGameSolverTest.cpp.

Member Data Documentation

DdType

template<typename TestType >

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

static

Definition at line 24 of file FullySymbolicGameSolverTest.cpp.

---

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

• src/test/storm/solver/FullySymbolicGameSolverTest.cpp