Lines Matching full:fst1
109 // <code>fst1</code> and <code>fst2</code> are equivalent. The input
130 bool Equivalent(const Fst<Arc> &fst1,
137 if (!CompatSymbols(fst1.InputSymbols(), fst2.InputSymbols()) ||
138 !CompatSymbols(fst1.OutputSymbols(), fst2.OutputSymbols())) {
146 if (fst1.Properties(props, true) != props) {
159 if ((fst1.Properties(kUnweighted , true) != kUnweighted)
161 VectorFst<Arc> efst1(fst1);
177 enum { FST1 = 1, FST2 = 2 }; // Required by Util::MapState(...)
179 MappedId s1 = Util::MapState(fst1.Start(), FST1);
190 // fst1 and fst2: input labels mapped to pairs of MappedId's
191 // representing destination states of the corresponding arcs in fst1
204 if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
226 ArcIterator<Fst<Arc> > arc_iter(fst1, Util::UnMapState(s1));
232 arc_pairs[arc.ilabel].first = Util::MapState(arc.nextstate, FST1);
255 if (Util::IsFinal(fst1, p.first) != Util::IsFinal(fst2, p.second)) {
265 if (fst1.Properties(kError, false) || fst2.Properties(kError, false)) {
