74   Vector<UInt32> terminals;  in build_trie()  local
77   temp.build_trie(keys, &terminals, progress);  in build_trie()
81   pairs.resize(terminals.size());  in build_trie()
83     pairs[i].first = terminals[i];  in build_trie()
86   terminals.clear();  in build_trie()
121     Vector<UInt32> *terminals, Progress &progress) {  in build_trie()  argument
122   build_cur(keys, terminals, progress);  in build_trie()
165     Vector<UInt32> *terminals, Progress &progress) {  in build_cur()  argument
256   build_terminals(keys, terminals);  in build_cur()
261     Vector<UInt32> *terminals, Progress &progress) {  in build_next()  argument
268     tail_.build(strs, terminals, progress.tail());  in build_next()
280   trie_->build_trie(rkeys, terminals, ++progress);  in build_next()
284     Vector<UInt32> *terminals, Progress &progress) {  in build_next()  argument
291     tail_.build(strs, terminals, progress.tail());  in build_next()
296   trie_->build_trie(rkeys, terminals, ++progress);  in build_next()
319     Vector<UInt32> *terminals) const {  in build_terminals()
325   temp_terminals.swap(terminals);  in build_terminals()