Lines Matching refs:Value1
42 using PairWeight<W1, W2>::Value1;
97 if (!Value1().Member() || !Value2().Member()) return false;
99 if (Value1() == W1::Zero() && Value2() == W2::Zero()) return true;
100 if (Value1() != W1::Zero() && Value2() != W2::Zero()) return true;
127 if (less1(w.Value1(), v.Value1())) return w;
128 if (less1(v.Value1(), w.Value1())) return v;
137 return LexicographicWeight<W1, W2>(Times(w.Value1(), v.Value1()),
145 return LexicographicWeight<W1, W2>(Divide(w.Value1(), v.Value1(), typ),
