Lines Matching refs:Plus
65 // Tests (Plus, Times, Zero, One) defines a commutative semiring.
68 CHECK(Plus(w1, w2).Member());
72 CHECK(ApproxEqual(Plus(w1, Plus(w2, w3)), Plus(Plus(w1, w2), w3)));
76 CHECK(Plus(w1, Weight::Zero()) == w1);
77 CHECK(Plus(Weight::Zero(), w1) == w1);
83 CHECK(!Plus(w1, Weight::NoWeight()).Member());
84 CHECK(!Plus(Weight::NoWeight(), w1).Member());
89 CHECK(ApproxEqual(Plus(w1, w2), Plus(w2, w1)));
108 CHECK(ApproxEqual(Times(w1, Plus(w2, w3)),
109 Plus(Times(w1, w2), Times(w1, w3))));
111 CHECK(ApproxEqual(Times(Plus(w1, w2), w3),
112 Plus(Times(w1, w3), Times(w2, w3))));
115 CHECK(Plus(w1, w1) == w1);
118 CHECK(Plus(w1, w2) == w1 || Plus(w1, w2) == w2);
163 CHECK(Plus(w1, w2).Reverse() == Plus(rw1, rw2));
