Storm
A Modern Probabilistic Model Checker
|
Static Public Attributes | |
static const storm::dd::DdType | DdType = TestType::DdType |
Definition at line 34 of file SymbolicBisimulationDecompositionTest.cpp.
|
static |
Definition at line 36 of file SymbolicBisimulationDecompositionTest.cpp.