Lines Matching refs:fst2
108 // <code>fst1</code> and <code>fst2</code> are equivalent. The input
130 const Fst<Arc> &fst2,
136 if (!CompatSymbols(fst1.InputSymbols(), fst2.InputSymbols()) ||
137 !CompatSymbols(fst1.OutputSymbols(), fst2.OutputSymbols())) {
151 if (fst2.Properties(props, true) != props) {
159 || (fst2.Properties(kUnweighted , true) != kUnweighted)) {
161 VectorFst<Arc> efst2(fst2);
179 MappedId s2 = Util::MapState(fst2.Start(), FST2);
189 // fst1 and fst2: input labels mapped to pairs of MappedId's
191 // and fst2, respectively.
203 if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
237 ArcIterator<Fst<Arc> > arc_iter(fst2, Util::UnMapState(s2));
254 if (Util::IsFinal(fst1, p.first) != Util::IsFinal(fst2, p.second)) {
264 if (fst1.Properties(kError, false) || fst2.Properties(kError, false)) {