Lines Matching refs:superfinal
306 // distance from 'superfinal' to the final state is 'Weight::One()',
307 // hence 'distance[superfinal]' is not needed.
308 StateId superfinal = -1;
310 compare(pairs, distance, superfinal, delta);
314 // paths computed so far to 's'. Valid for 's == -1' (superfinal).
339 Weight d = p.first == superfinal ? Weight::One() :
349 if (p.first == superfinal)
351 if ((p.first == superfinal) && (r[p.first + 1] == n)) break;
353 if (p.first == superfinal) continue;
373 pairs.push_back(Pair(superfinal, w));
