Searched refs:temp_terminals (Results 1 – 2 of 2) sorted by relevance
334 Vector<UInt32> temp_terminals; in build_terminals() local335 temp_terminals.resize(keys.size()); in build_terminals()337 temp_terminals[keys[i].id()] = keys[i].terminal(); in build_terminals()339 temp_terminals.swap(terminals); in build_terminals()
320 Vector<UInt32> temp_terminals; in build_terminals() local321 temp_terminals.resize(keys.size()); in build_terminals()323 temp_terminals[keys[i].id()] = keys[i].terminal(); in build_terminals()325 temp_terminals.swap(terminals); in build_terminals()