Lines Matching refs:ifst
210 // 'ifst' whose weight is no more than the weight of the shortest path
217 void Prune(const Fst<Arc> &ifst,
232 ofst->SetInputSymbols(ifst.InputSymbols());
233 ofst->SetOutputSymbols(ifst.OutputSymbols());
234 if (ifst.Start() == kNoStateId)
243 ShortestDistance(ifst, &tmp, true, opts.delta);
246 if ((fdistance->size() <= ifst.Start()) ||
247 ((*fdistance)[ifst.Start()] == Weight::Zero())) {
256 StateId s = ifst.Start();
277 if (!less(limit, Times(idistance[s], ifst.Final(s))))
278 ofst->SetFinal(copy[s], ifst.Final(s));
279 for (ArcIterator< Fst<Arc> > ait(ifst, s);
320 // successful path in 'ifst' whose weight is no more than
327 void Prune(const Fst<Arc> &ifst,
334 Prune(ifst, ofst, opts);
