43 void Reverse(const Fst<Arc> &ifst, MutableFst<RevArc> *ofst) {  in Reverse()  argument
48   ofst->DeleteStates();  in Reverse()
49   ofst->SetInputSymbols(ifst.InputSymbols());  in Reverse()
50   ofst->SetOutputSymbols(ifst.OutputSymbols());  in Reverse()
52     ofst->ReserveStates(CountStates(ifst) + 1);  in Reverse()
54   StateId ostart = ofst->AddState();  in Reverse()
55   ofst->SetStart(ostart);  in Reverse()
62     while (ofst->NumStates() <= os)  in Reverse()
63       ofst->AddState();  in Reverse()
65       ofst->SetFinal(os, RevWeight::One());  in Reverse()
70       ofst->AddArc(0, oarc);  in Reverse()
79       while (ofst->NumStates() <= nos)  in Reverse()
80         ofst->AddState();  in Reverse()
81       ofst->AddArc(nos, oarc);  in Reverse()
85   uint64 oprops = ofst->Properties(kFstProperties, false);  in Reverse()
86   ofst->SetProperties(ReverseProperties(iprops) | oprops, kFstProperties);  in Reverse()