68 inline bool operator==(const FloatWeight &w1, const FloatWeight &w2) {
72   volatile float v2 = w2.Value();
76 inline bool operator!=(const FloatWeight &w1, const FloatWeight &w2) {
77   return !(w1 == w2);
80 inline bool ApproxEqual(const FloatWeight &w1, const FloatWeight &w2,
82   return w1.Value() <= w2.Value() + delta && w2.Value() <= w1.Value() + delta;
153                            const TropicalWeight &w2) {  in Plus()  argument
154   return w1.Value() < w2.Value() ? w1 : w2;  in Plus()
158                             const TropicalWeight &w2) {  in Times()  argument
159   float f1 = w1.Value(), f2 = w2.Value();  in Times()
163     return w2;  in Times()
169                              const TropicalWeight &w2,
171   float f1 = w1.Value(), f2 = w2.Value();
219 inline LogWeight Plus(const LogWeight &w1, const LogWeight &w2) {  in Plus()  argument
220   float f1 = w1.Value(), f2 = w2.Value();  in Plus()
222     return w2;  in Plus()
231 inline LogWeight Times(const LogWeight &w1, const LogWeight &w2) {  in Times()  argument
232   float f1 = w1.Value(), f2 = w2.Value();  in Times()
236     return w2;  in Times()
242                              const LogWeight &w2,
244   float f1 = w1.Value(), f2 = w2.Value();