Searched refs:addr_to_block_ (Results 1 – 2 of 2) sorted by relevance
40 addr_to_block_.begin(); it != addr_to_block_.end(); ++it) { in CleanTable()43 addr_to_block_.erase(addr_to_block_.begin(), addr_to_block_.end()); in CleanTable()81 addr_to_block_.insert(std::make_pair(address, sd)); in InsertOnStructure()91 AddrToBlockMap::iterator it = addr_to_block_.find(address); in RemoveBlock()93 if (it != addr_to_block_.end()) { in RemoveBlock()96 AddrToBlockMap::iterator last_it = addr_to_block_.find( in RemoveBlock()99 sat_assert(last_it != addr_to_block_.end()); in RemoveBlock()105 addr_to_block_.erase(it); in RemoveBlock()154 AddrToBlockMap::const_iterator it = addr_to_block_.find(address); in GetRandomBlock()155 sat_assert(it != addr_to_block_.end()); in GetRandomBlock()[all …]
102 AddrToBlockMap addr_to_block_; variable