68     CHECK(Plus(w1, w2).Member());  in TestSemiring()
72     CHECK(ApproxEqual(Plus(w1, Plus(w2, w3)), Plus(Plus(w1, w2), w3)));  in TestSemiring()
76     CHECK(Plus(w1, Weight::Zero()) == w1);  in TestSemiring()
77     CHECK(Plus(Weight::Zero(), w1) == w1);  in TestSemiring()
83     CHECK(!Plus(w1, Weight::NoWeight()).Member());  in TestSemiring()
84     CHECK(!Plus(Weight::NoWeight(), w1).Member());  in TestSemiring()
89     CHECK(ApproxEqual(Plus(w1, w2), Plus(w2, w1)));  in TestSemiring()
108       CHECK(ApproxEqual(Times(w1, Plus(w2, w3)),  in TestSemiring()
109                         Plus(Times(w1, w2), Times(w1, w3))));  in TestSemiring()
111       CHECK(ApproxEqual(Times(Plus(w1, w2), w3),  in TestSemiring()
112                         Plus(Times(w1, w3), Times(w2, w3))));  in TestSemiring()
115       CHECK(Plus(w1, w1) == w1);  in TestSemiring()
118       CHECK(Plus(w1, w2) == w1 || Plus(w1, w2) == w2);  in TestSemiring()
163     CHECK(Plus(w1, w2).Reverse() == Plus(rw1, rw2));  in TestReverse()