Lines Matching refs:fst1

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);
179   MappedId s1 = Util::MapState(fst1.Start(), FST1);
204   if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
226         ArcIterator<Fst<Arc> > arc_iter(fst1, Util::UnMapState(s1));
255         if (Util::IsFinal(fst1, p.first) != Util::IsFinal(fst2, p.second)) {
265   if (fst1.Properties(kError, false) || fst2.Properties(kError, false)) {