36 void Reverse(const Fst<Arc> &ifst, MutableFst<RevArc> *ofst) {  in Reverse()  argument
41   ofst->DeleteStates();  in Reverse()
42   ofst->SetInputSymbols(ifst.InputSymbols());  in Reverse()
43   ofst->SetOutputSymbols(ifst.OutputSymbols());  in Reverse()
45   StateId ostart = ofst->AddState();  in Reverse()
46   ofst->SetStart(ostart);  in Reverse()
53     while (ofst->NumStates() <= os)  in Reverse()
54       ofst->AddState();  in Reverse()
56       ofst->SetFinal(os, RevWeight::One());  in Reverse()
61       ofst->AddArc(0, oarc);  in Reverse()
70       while (ofst->NumStates() <= nos)  in Reverse()
71         ofst->AddState();  in Reverse()
72       ofst->AddArc(nos, oarc);  in Reverse()
76   uint64 oprops = ofst->Properties(kFstProperties, false);  in Reverse()
77   ofst->SetProperties(ReverseProperties(iprops) | oprops, kFstProperties);  in Reverse()