Lines Matching defs:fst2
109 // <code>fst1</code> and <code>fst2</code> are equivalent. The input
131 const Fst<Arc> &fst2,
137 if (!CompatSymbols(fst1.InputSymbols(), fst2.InputSymbols()) ||
138 !CompatSymbols(fst1.OutputSymbols(), fst2.OutputSymbols())) {
152 if (fst2.Properties(props, true) != props) {
160 || (fst2.Properties(kUnweighted , true) != kUnweighted)) {
162 VectorFst<Arc> efst2(fst2);
180 MappedId s2 = Util::MapState(fst2.Start(), FST2);
190 // fst1 and fst2: input labels mapped to pairs of MappedId's
192 // and fst2, respectively.
204 if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
238 ArcIterator<Fst<Arc> > arc_iter(fst2, Util::UnMapState(s2));
255 if (Util::IsFinal(fst1, p.first) != Util::IsFinal(fst2, p.second)) {
265 if (fst1.Properties(kError, false) || fst2.Properties(kError, false)) {