Searched refs:used_pools (Results 1 – 1 of 1) sorted by relevance
343 std::set<const Pool*> used_pools; in WriteAllPools() local347 used_pools.insert(tool.second->pool().ptr); in WriteAllPools()355 used_pools.insert(pool.ptr); in WriteAllPools()360 std::vector<const Pool*> sorted_pools(used_pools.begin(), used_pools.end()); in WriteAllPools()