Lines Matching refs:Times
53 // 'opts.threshold' Times() the weight of the shortest path. Weights
90 Weight ceiling = Times((*fdistance)[fst->Start()], opts.threshold);
93 if (less(ceiling, Times((*idistance)[state], (*fdistance)[state]))) {
102 Weight weight = Times(Times((*idistance)[state], arc.weight),
109 if (less(ceiling, Times((*idistance)[state], fst->Final(state))))
125 // more than 'opts.threshold' Times() the weight of the shortest
137 // 'ifst' whose weight is no more than 'opts.threshold' Times() the
175 Weight ceiling = Times((*fdistance)[ifst.Start()], opts.threshold);
188 if (less(ceiling, Times((*idistance)[state], (*fdistance)[state])))
193 if (!less(ceiling, Times((*idistance)[state], ifst.Final(state))))
210 Weight weight = Times(Times((*idistance)[state], arc.weight),
235 // 'opts.threshold' Times() the weight of the shortest path. Weights
