Lines Matching defs:superfinal
35 // A final weight is mapped to an arc to the superfinal state
37 // The superfinal state will be added only if it is needed.
40 // A final weight is mapped to an arc to the superfinal state
42 // Zero(). The superfinal state is always added (if the input is
65 // e.g. whether to add a superfinal state. They will use the Properties()
91 StateId superfinal = kNoStateId;
93 superfinal = fst->AddState();
94 fst->SetFinal(superfinal, Weight::One());
113 if (s != superfinal) {
116 // Add a superfinal state if not already done.
117 if (superfinal == kNoStateId) {
118 superfinal = fst->AddState();
119 fst->SetFinal(superfinal, Weight::One());
121 final_arc.nextstate = superfinal;
131 if (s != superfinal) {
136 final_arc.weight, superfinal));
174 StateId superfinal = kNoStateId;
176 superfinal = ofst->AddState();
177 ofst->SetFinal(superfinal, B::Weight::One());
198 // Add a superfinal state if not already done.
199 if (superfinal == kNoStateId) {
200 superfinal = ofst->AddState();
201 ofst->SetFinal(superfinal, B::Weight::One());
203 final_arc.nextstate = superfinal;
216 final_arc.weight, superfinal));
370 // Check for superfinal arcs.
586 bool superfinal_; // true if there is a superfinal state and not done
