40 class LexicographicWeight : public PairWeight<W1, W2> {
52   typedef LexicographicWeight<typename W1::ReverseWeight,
56   LexicographicWeight() {}  in LexicographicWeight()  function
58   LexicographicWeight(const PairWeight<W1, W2>& w)  in LexicographicWeight()  function
61   LexicographicWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) {  in LexicographicWeight()  function
75   static const LexicographicWeight<W1, W2> &Zero() {  in Zero()
76     static const LexicographicWeight<W1, W2> zero(PairWeight<W1, W2>::Zero());  in Zero()
80   static const LexicographicWeight<W1, W2> &One() {  in One()
81     static const LexicographicWeight<W1, W2> one(PairWeight<W1, W2>::One());  in One()
85   static const LexicographicWeight<W1, W2> &NoWeight() {  in NoWeight()
86     static const LexicographicWeight<W1, W2> no_weight(  in NoWeight()
104   LexicographicWeight<W1, W2> Quantize(float delta = kDelta) const {
121 inline LexicographicWeight<W1, W2> Plus(const LexicographicWeight<W1, W2> &w,  in Plus()
122                                         const LexicographicWeight<W1, W2> &v) {  in Plus()
124     return LexicographicWeight<W1, W2>::NoWeight();  in Plus()
135 inline LexicographicWeight<W1, W2> Times(const LexicographicWeight<W1, W2> &w,  in Times()
136                                          const LexicographicWeight<W1, W2> &v) {  in Times()
137   return LexicographicWeight<W1, W2>(Times(w.Value1(), v.Value1()),  in Times()
142 inline LexicographicWeight<W1, W2> Divide(const LexicographicWeight<W1, W2> &w,
143                                           const LexicographicWeight<W1, W2> &v,
145   return LexicographicWeight<W1, W2>(Divide(w.Value1(), v.Value1(), typ),