Lines Matching defs:w1
188 typedef typename G1::Weight W1;
196 W1 w1 = generator1_();
198 return Weight(w1, w2);
214 typedef typename G1::Weight W1;
216 typedef LexicographicWeight<W1, W2> Weight;
226 return Weight(W1::Zero(), W2::Zero());
228 W1 w1 = generator1_();
230 return Weight(w1, w2);
