Lines Matching refs:terminals
256 Vector<UInt32> terminals; in build_() local
257 build_trie(keys, &terminals, config, 1); in build_()
262 pairs.resize(terminals.size()); in build_()
264 pairs[i].first = terminals[i]; in build_()
267 terminals.clear(); in build_()
295 Vector<UInt32> *terminals, const Config &config, std::size_t trie_id) { in build_trie() argument
296 build_current_trie(keys, terminals, config, trie_id); in build_trie()
327 Vector<UInt32> *terminals, const Config &config, in build_current_trie() argument
427 build_terminals(keys, terminals); in build_current_trie()
435 Vector<UInt32> *terminals, const Config &config, std::size_t trie_id) { in build_next_trie() argument
442 tail_.build(entries, terminals, config.tail_mode()); in build_next_trie()
454 next_trie_->build_trie(reverse_keys, terminals, config, trie_id + 1); in build_next_trie()
459 Vector<UInt32> *terminals, const Config &config, std::size_t trie_id) { in build_next_trie() argument
466 tail_.build(entries, terminals, config.tail_mode()); in build_next_trie()
471 next_trie_->build_trie(keys, terminals, config, trie_id + 1); in build_next_trie()
476 Vector<UInt32> *terminals) const { in build_terminals()
482 terminals->swap(temp); in build_terminals()