Lines Matching defs:weight
52 // do not belong to a successful path whose weight is no more than
53 // 'opts.threshold' Times() the weight of the shortest path. Weights
102 Weight weight = Times(Times((*idistance)[state], arc.weight),
104 if(less(ceiling, weight)) {
124 // 'fst' that do not belong to a successful path whose weight is no
125 // more than 'opts.threshold' Times() the weight of the shortest
137 // 'ifst' whose weight is no more than 'opts.threshold' Times() the
138 // weight of the shortest path. Weights need to be commutative and
210 Weight weight = Times(Times((*idistance)[state], arc.weight),
213 if (!less(ceiling, weight)) {
234 // successful path in 'ifst' whose weight is no more than
235 // 'opts.threshold' Times() the weight of the shortest path. Weights