45 template <class Arc>
47   typedef typename Arc::StateId StateId;
48   typedef typename Arc::Weight Weight;
74   static bool IsFinal(const Fst<Arc> &fa, MappedId s) {  in IsFinal()
112 template <class Arc>
113 bool Equivalent(const Fst<Arc> &fst1, const Fst<Arc> &fst2) {  in Equivalent()
114   typedef typename Arc::Weight Weight;  in Equivalent()
128     VectorFst<Arc> efst1(fst1);  in Equivalent()
129     VectorFst<Arc> efst2(fst2);  in Equivalent()
132     Map(&efst1, QuantizeMapper<Arc>());  in Equivalent()
133     Map(&efst2, QuantizeMapper<Arc>());  in Equivalent()
134     EncodeMapper<Arc> mapper(kEncodeWeights|kEncodeLabels, ENCODE);  in Equivalent()
141   typedef typename Arc::StateId StateId;  in Equivalent()
142   typedef EquivalenceUtil<Arc> Util;  in Equivalent()
165     hash_map<typename Arc::Label, pair<MappedId, MappedId> >  in Equivalent()
191         ArcIterator<Fst<Arc> > arc_iter(fst1, Util::UnMapState(s1));  in Equivalent()
193           const Arc &arc = arc_iter.Value();  in Equivalent()
203         ArcIterator<Fst<Arc> > arc_iter(fst2, Util::UnMapState(s2));  in Equivalent()
205           const Arc &arc = arc_iter.Value();  in Equivalent()