Lines Matching refs:fst2
92 // <code>fst1</code> and <code>fst2</code> are equivalent. The input
112 bool Equivalent(const Fst<Arc> &fst1, const Fst<Arc> &fst2) {
120 if (fst2.Properties(props, true) != props) {
126 || (fst2.Properties(kUnweighted , true) != kUnweighted)) {
128 VectorFst<Arc> efst2(fst2);
143 enum { FST1 = 1, FST2 = 2 }; // Required by Util::MapState(...)
146 MappedId s2 = Util::MapState(fst2.Start(), FST2);
156 if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
160 // fst1 and fst2: input labels mapped to pairs of MappedId's
162 // and fst2, respectively.
202 ArcIterator<Fst<Arc> > arc_iter(fst2, Util::UnMapState(s2));
208 arc_pairs[arc.ilabel].second = Util::MapState(arc.nextstate, FST2);
219 if (Util::IsFinal(fst1, p.first) != Util::IsFinal(fst2, p.second)) {
