testing::internal Namespace Reference

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)

Function Documentation

DoubleNearPredFormat()

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  )

inline

Definition at line 29 of file storm_gtest.h.