|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
Functions | |
| bool | testGurobiLicense () |
| void | initialize (int *argc, char **argv) |
| void | enableErrorOutput () |
| void | disableOutput () |
Variables | |
| bool | noGurobi = false |
|
inline |
Definition at line 71 of file storm_gtest.h.
|
inline |
Definition at line 64 of file storm_gtest.h.
|
inline |
Definition at line 49 of file storm_gtest.h.
| bool storm::test::testGurobiLicense | ( | ) |
Definition at line 12 of file storm_gtest.cpp.
| bool storm::test::noGurobi = false |
Definition at line 10 of file storm_gtest.cpp.