Lines Matching defs:Util
175 typedef EquivalenceUtil<Arc> Util;
176 typedef typename Util::MappedId MappedId;
177 enum { FST1 = 1, FST2 = 2 }; // Required by Util::MapState(...)
179 MappedId s1 = Util::MapState(fst1.Start(), FST1);
180 MappedId s2 = Util::MapState(fst2.Start(), FST2);
183 UnionFind<MappedId> eq_classes(1000, Util::kInvalidId);
204 if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
217 MappedId rep1 = Util::FindSet(&eq_classes, s1);
218 MappedId rep2 = Util::FindSet(&eq_classes, s2);
225 if (Util::kDeadState != s1) {
226 ArcIterator<Fst<Arc> > arc_iter(fst1, Util::UnMapState(s1));
232 arc_pairs[arc.ilabel].first = Util::MapState(arc.nextstate, FST1);
237 if (Util::kDeadState != s2) {
238 ArcIterator<Fst<Arc> > arc_iter(fst2, Util::UnMapState(s2));
244 arc_pairs[arc.ilabel].second = Util::MapState(arc.nextstate, FST2);
255 if (Util::IsFinal(fst1, p.first) != Util::IsFinal(fst2, p.second)) {