Lines Matching defs:arc
47 // disjoint, we map Arc::StateId on the type MappedId. The states of
54 template <class Arc>
56 typedef typename Arc::StateId StateId;
57 typedef typename Arc::Weight Weight;
83 static bool IsFinal(const Fst<Arc> &fa, MappedId s) {
101 template <class Arc> const
102 typename EquivalenceUtil<Arc>::MappedId EquivalenceUtil<Arc>::kDeadState;
104 template <class Arc> const
105 typename EquivalenceUtil<Arc>::MappedId EquivalenceUtil<Arc>::kInvalidId;
129 template <class Arc>
130 bool Equivalent(const Fst<Arc> &fst1,
131 const Fst<Arc> &fst2,
133 typedef typename Arc::Weight Weight;
161 VectorFst<Arc> efst1(fst1);
162 VectorFst<Arc> efst2(fst2);
165 ArcMap(&efst1, QuantizeMapper<Arc>(delta));
166 ArcMap(&efst2, QuantizeMapper<Arc>(delta));
167 EncodeMapper<Arc> mapper(kEncodeWeights|kEncodeLabels, ENCODE);
174 typedef typename Arc::StateId StateId;
175 typedef EquivalenceUtil<Arc> Util;
194 unordered_map<typename Arc::Label, pair<MappedId, MappedId> >
226 ArcIterator<Fst<Arc> > arc_iter(fst1, Util::UnMapState(s1));
228 const Arc &arc = arc_iter.Value();
229 if (arc.weight != Weight::Zero()) { // Zero-weight arcs
232 arc_pairs[arc.ilabel].first = Util::MapState(arc.nextstate, FST1);
238 ArcIterator<Fst<Arc> > arc_iter(fst2, Util::UnMapState(s2));
240 const Arc &arc = arc_iter.Value();
241 if (arc.weight != Weight::Zero()) { // Zero-weight arcs
244 arc_pairs[arc.ilabel].second = Util::MapState(arc.nextstate, FST2);
