Lines Matching refs:Arc
28 template<class Arc>
29 bool Verify(const Fst<Arc> &fst) {
30 typedef typename Arc::Label Label;
31 typedef typename Arc::Weight Weight;
32 typedef typename Arc::StateId StateId;
40 for (StateIterator< Fst<Arc> > siter(fst);
53 for (StateIterator< Fst<Arc> > siter(fst);
58 for (ArcIterator< Fst<Arc> > aiter(fst, s);
61 const Arc &arc =aiter.Value();
62 if (arc.ilabel < 0) {
63 LOG(ERROR) << "Verify: Fst input label ID of arc at position "
66 } else if (isyms && isyms->Find(arc.ilabel) == "") {
67 LOG(ERROR) << "Verify: Fst input label ID " << arc.ilabel
68 << " of arc at position " << na << " of state " << s
72 } else if (arc.olabel < 0) {
73 LOG(ERROR) << "Verify: Fst output label ID of arc at position "
76 } else if (osyms && osyms->Find(arc.olabel) == "") {
77 LOG(ERROR) << "Verify: Fst output label ID " << arc.olabel
78 << " of arc at position " << na << " of state " << s
82 } else if (!arc.weight.Member() || arc.weight == Weight::Zero()) {
83 LOG(ERROR) << "Verify: Fst weight of arc at position "
86 } else if (arc.nextstate < 0) {
87 LOG(ERROR) << "Verify: Fst destination state ID of arc at position "
90 } else if (arc.nextstate >= ns) {
91 LOG(ERROR) << "Verify: Fst destination state ID of arc at position "
