Storm
A Modern Probabilistic Model Checker
|
Static Public Attributes | |
static const storm::dd::DdType | DdType = storm::dd::DdType::CUDD |
Definition at line 23 of file GraphTest.cpp.
|
static |
Definition at line 25 of file GraphTest.cpp.