Lines Matching defs:arc
51 const A& arc = aiter.Value();
52 if (coaccess[arc.nextstate]) {
71 const A& arc = aiter.Value();
73 if (finals.find(arc.nextstate) != finals.end()) {
75 if (arc.ilabel == 0 && arc.olabel == 0) {
76 w = Plus(Times(fst->Final(arc.nextstate), arc.weight), w);
78 arcs.push_back(arc);
81 arcs.push_back(arc);