semiring

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@608 ec762483-ff6d-05da-a07a-a48fb63a330f

1 files changed, 8 insertions, 2 deletions

diff --git a/utils/logval_test.cc b/utils/logval_test.cc
index 1a23177d..4aa452f2 100644
--- a/utils/logval_test.cc
+++ b/utils/logval_test.cc
@@ -26,13 +26,19 @@ TEST_F(LogValTest,Order) {
   EXPECT_FALSE(a < a);
 }
 
-TEST_F(LogValTest,Invert) {
+TEST_F(LogValTest,Negate) {
   LogVal<double> x(-2.4);
   LogVal<double> y(2.4);
-  y.invert();
+  y.negate();
   EXPECT_FLOAT_EQ(x,y);
 }
 
+TEST_F(LogValTest,Inverse) {
+  LogVal<double> x(1/2.4);
+  LogVal<double> y(2.4);
+  EXPECT_FLOAT_EQ(x,y.inverse());
+}
+
 TEST_F(LogValTest,Minus) {
   LogVal<double> x(12);
   LogVal<double> y(2);