|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
Functions | |
| GTEST_API_ AssertionResult | DoubleNearPredFormat (const char *expr1, const char *expr2, const char *abs_error_expr, storm::RationalNumber val1, storm::RationalNumber val2, storm::RationalNumber abs_error) |
| GTEST_API_ AssertionResult testing::internal::DoubleNearPredFormat | ( | const char * | expr1, |
| const char * | expr2, | ||
| const char * | abs_error_expr, | ||
| storm::RationalNumber | val1, | ||
| storm::RationalNumber | val2, | ||
| storm::RationalNumber | abs_error | ||
| ) |
Definition at line 17 of file storm_gtest.cpp.