Lines Matching refs:opts
53 // 'opts.threshold' Times() the weight of the shortest path. Weights
57 const PruneOptions<Arc, ArcFilter> &opts) {
70 vector<Weight> *idistance = opts.idistance;
71 vector<Weight> *fdistance = opts.fdistance;
90 Weight ceiling = Times((*fdistance)[fst->Start()], opts.threshold);
101 if (!opts.filter(arc)) continue;
115 if (!opts.idistance)
117 if (!opts.fdistance)
125 // more than 'opts.threshold' Times() the weight of the shortest
129 PruneOptions<Arc, AnyArcFilter<Arc> > opts(threshold, AnyArcFilter<Arc>());
130 Prune(fst, opts);
137 // 'ifst' whose weight is no more than 'opts.threshold' Times() the
143 const PruneOptions<Arc, ArcFilter> &opts) {
158 vector<Weight> *idistance = opts.idistance;
159 vector<Weight> *fdistance = opts.fdistance;
175 Weight ceiling = Times((*fdistance)[ifst.Start()], opts.threshold);
201 if (!opts.filter(arc)) continue;
224 if (!opts.idistance)
226 if (!opts.fdistance)
235 // 'opts.threshold' Times() the weight of the shortest path. Weights
241 PruneOptions<Arc, AnyArcFilter<Arc> > opts(threshold, AnyArcFilter<Arc>());
242 Prune(ifst, ofst, opts);
