Sylvan Class Reference

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

Detailed Description

Definition at line 28 of file GraphTest.cpp.

Member Data Documentation

DdType

static const storm::dd::DdType Sylvan::DdType = storm::dd::DdType::Sylvan

static

Definition at line 30 of file GraphTest.cpp.

---

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

• src/test/storm-gamebased-ar/abstraction/GraphTest.cpp
• src/test/storm-gamebased-ar/abstraction/PrismMenuGameTest.cpp
• src/test/storm-gamebased-ar/modelchecker/abstraction/GameBasedDtmcModelCheckerTest.cpp
• src/test/storm-gamebased-ar/modelchecker/abstraction/GameBasedMdpModelCheckerTest.cpp
• src/test/storm/builder/DdPrismModelBuilderTest.cpp
• src/test/storm/solver/FullySymbolicGameSolverTest.cpp
• src/test/storm/storage/DdTest.cpp
• src/test/storm/storage/SylvanDdTest.cpp
• src/test/storm/storage/SymbolicBisimulationDecompositionTest.cpp
• src/test/storm/utility/GraphTest.cpp