171   bool GetTopOrder(const Fst<Arc> &fst, vector<Label> *toporder) const;
404                                    vector<Label> *toporder) const {  in GetTopOrder()  argument
416   toporder->resize(order.size());  in GetTopOrder()
418     (*toporder)[order[i]] = i;  in GetTopOrder()
448   vector<Label> toporder;  in ReplaceLabels()  local
449   if (!GetTopOrder(pfst, &toporder)) {  in ReplaceLabels()
456   for (Label o = toporder.size() - 1; o >= 0;  --o) {  in ReplaceLabels()
458     StateId s = toporder[o];  in ReplaceLabels()
483   vector<Label> toporder;  in ReplaceBySize()  local
484   if (!GetTopOrder(depfst_, &toporder)) {  in ReplaceBySize()
489   for (Label o = toporder.size() - 1; o >= 0; --o) {  in ReplaceBySize()
490     Label j = toporder[o];  in ReplaceBySize()
506   vector<Label> toporder;  in ReplaceByInstances()  local
507   if (!GetTopOrder(depfst_, &toporder)) {  in ReplaceByInstances()
511   for (Label o = 0; o < toporder.size(); ++o) {  in ReplaceByInstances()
512     Label j = toporder[o];  in ReplaceByInstances()