Searched refs:final2 (Results 1 – 2 of 2) sorted by relevance
57 Weight final1 = fst->Final(s1), final2 = Weight::Zero(); in StateSort() local63 for (; !done[s1]; s1 = s2, final1 = final2, swap(arcs1, arcs2)) { in StateSort()66 final2 = fst->Final(s2); in StateSort()
54 Weight final2 = fst2.Final(s2); in Equal() local55 if (!ApproxEqual(final1, final2)) { in Equal()59 << ", final2 = " << final2; in Equal()