Searched refs:old_buffer_number (Results 1 – 1 of 1) sorted by relevance
147 BufferNumber old_buffer_number = value_to_buffer_number_.at(&value); in MoveValueToBuffer() local149 buffers_.at(old_buffer_number); in MoveValueToBuffer()152 buffers_.erase(old_buffer_number); in MoveValueToBuffer()