Lines Matching full:double
119 inline bool operator==(const FloatWeightTpl<double> &w1,
120 const FloatWeightTpl<double> &w2) {
121 return operator==<double>(w1, w2);
135 inline bool operator!=(const FloatWeightTpl<double> &w1,
136 const FloatWeightTpl<double> &w2) {
137 return operator!=<double>(w1, w2);
251 inline TropicalWeightTpl<double> Plus(const TropicalWeightTpl<double> &w1,
252 const TropicalWeightTpl<double> &w2) {
253 return Plus<double>(w1, w2);
275 inline TropicalWeightTpl<double> Times(const TropicalWeightTpl<double> &w1,
276 const TropicalWeightTpl<double> &w2) {
277 return Times<double>(w1, w2);
301 inline TropicalWeightTpl<double> Divide(const TropicalWeightTpl<double> &w1,
302 const TropicalWeightTpl<double> &w2,
304 return Divide<double>(w1, w2, typ);
361 // Double-precision log weight
362 typedef LogWeightTpl<double> Log64Weight;
386 inline LogWeightTpl<double> Plus(const LogWeightTpl<double> &w1,
387 const LogWeightTpl<double> &w2) {
388 return Plus<double>(w1, w2);
410 inline LogWeightTpl<double> Times(const LogWeightTpl<double> &w1,
411 const LogWeightTpl<double> &w2) {
412 return Times<double>(w1, w2);
436 inline LogWeightTpl<double> Divide(const LogWeightTpl<double> &w1,
437 const LogWeightTpl<double> &w2,
439 return Divide<double>(w1, w2, typ);
512 inline MinMaxWeightTpl<double> Plus(
513 const MinMaxWeightTpl<double> &w1, const MinMaxWeightTpl<double> &w2) {
514 return Plus<double>(w1, w2);
531 inline MinMaxWeightTpl<double> Times(
532 const MinMaxWeightTpl<double> &w1, const MinMaxWeightTpl<double> &w2) {
533 return Times<double>(w1, w2);
553 inline MinMaxWeightTpl<double> Divide(const MinMaxWeightTpl<double> &w1,
554 const MinMaxWeightTpl<double> &w2,
556 return Divide<double>(w1, w2, typ);
