142   typedef EquivalenceUtil<Arc> Util;  in Equivalent()  typedef
143   typedef typename Util::MappedId MappedId;  in Equivalent()
146   MappedId s1 = Util::MapState(fst1.Start(), FST1);  in Equivalent()
147   MappedId s2 = Util::MapState(fst2.Start(), FST2);  in Equivalent()
150   UnionFind<MappedId> eq_classes(1000, Util::kInvalidId);  in Equivalent()
157   if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {  in Equivalent()
182     MappedId rep1 = Util::FindSet(&eq_classes, s1);  in Equivalent()
183     MappedId rep2 = Util::FindSet(&eq_classes, s2);  in Equivalent()
190       if (Util::kDeadState != s1) {  in Equivalent()
191         ArcIterator<Fst<Arc> > arc_iter(fst1, Util::UnMapState(s1));  in Equivalent()
197             arc_pairs[arc.ilabel].first = Util::MapState(arc.nextstate, FST1);  in Equivalent()
202       if (Util::kDeadState != s2) {  in Equivalent()
203         ArcIterator<Fst<Arc> > arc_iter(fst2, Util::UnMapState(s2));  in Equivalent()
209             arc_pairs[arc.ilabel].second = Util::MapState(arc.nextstate, FST2);  in Equivalent()
220         if (Util::IsFinal(fst1, p.first) != Util::IsFinal(fst2, p.second)) {  in Equivalent()