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