Lines Matching defs:Weight
62 // non-Zero() final weight as a transition). A typical example is a
127 // 'Final(s) != Weight::Zero()') is stored first.
213 typedef typename A::Weight Weight;
226 if (fst.Final(s) != Weight::Zero()) ++nfinals;
248 if (fst.Final(s) != Weight::Zero())
284 typedef typename Arc::Weight Weight;
288 // For strings, allow implicit final weight.
319 Weight::One(), kNoStateId));
332 if (arc.weight != Weight::Zero())
347 if (arc.weight != Weight::Zero())
459 typedef typename A::Weight Weight;
547 Weight Final(StateId s) {
550 Arc arc(kNoLabel, kNoLabel, Weight::Zero(), kNoStateId);
557 return arc.ilabel == kNoLabel ? arc.weight : Weight::Zero();
686 SetFinal(s, arc.weight);
691 SetFinal(s, Weight::Zero());
822 // - For fixed out-degree compactors, the final weight (encoded as a
828 // - For variable out-degree compactors, the final weight (encoded
830 // must appeared first in the list (for state s, final weight of s,
933 typedef typename A::Weight Weight;
954 if (fst.Final(s) != Weight::Zero()) {
995 if (fst.Final(s) != Weight::Zero()) {
1009 if (fst.Final(s) != Weight::Zero()) {
1223 typedef typename A::Weight Weight;
1228 return Arc(p, p, Weight::One(), p != kNoLabel ? s + 1 : kNoStateId);
1262 typedef typename A::Weight Weight;
1263 typedef pair<Label, Weight> Element;
1266 return make_pair(arc.ilabel, arc.weight);
1305 typedef typename A::Weight Weight;
1313 return Arc(p.first, p.first, Weight::One(), p.second);
1347 typedef typename A::Weight Weight;
1348 typedef pair< pair<Label, Weight>, StateId > Element;
1351 return make_pair(make_pair(arc.ilabel, arc.weight), arc.nextstate);
1389 typedef typename A::Weight Weight;
1397 return Arc(p.first.first, p.first.second, Weight::One(), p.second);
