weight-tester.h | 44 Weight w3 = weight_generator_(); local 49 VLOG(1) << "w3 = " << w3; 51 TestSemiring(w1, w2, w3); 55 TestEquality(w1, w2, w3); 66 void TestSemiring(Weight w1, Weight w2, Weight w3) { 72 CHECK(ApproxEqual(Plus(w1, Plus(w2, w3)), Plus(Plus(w1, w2), w3))); local 73 CHECK(ApproxEqual(Times(w1, Times(w2, w3)), Times(Times(w1, w2), w3))); local [all...] |