Storm
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.