Lines Matching full:state
36 // distributive when reweighting towards the initial state and right
39 // An arc of weight w, with an origin state of potential p and
40 // destination state of potential q, is reweighted by p\wq when
41 // reweighting towards the initial state and by pw/q when reweighting
61 FSTERROR() << "Reweight: Reweighting to the initial state requires "
70 typename Arc::StateId state = sit.Value();
71 if (state == potential.size())
73 typename Arc::Weight weight = potential[state];
75 for (MutableArcIterator< MutableFst<Arc> > ait(fst, state);
93 fst->SetFinal(state, Divide(fst->Final(state), weight, DIVIDE_LEFT));
96 fst->SetFinal(state, Times(weight, fst->Final(state)));
101 typename Arc::StateId state = sit.Value();
103 fst->SetFinal(state, Times(Weight::Zero(), fst->Final(state)));
110 typename Arc::StateId state = fst->Start();
111 for (MutableArcIterator< MutableFst<Arc> > ait(fst, state);
124 fst->SetFinal(state, Times(startweight, fst->Final(state)));
126 fst->SetFinal(state, Times(Divide(Weight::One(), startweight,
128 fst->Final(state)));
130 typename Arc::StateId state = fst->AddState();
134 fst->AddArc(state, arc);
135 fst->SetStart(state);
