Searched refs:FreeIds (Results 1 – 1 of 1) sorted by relevance
73 if (!FreeIds.empty()) { in getNext()74 ResourceId I = FreeIds.back(); in getNext()75 FreeIds.pop_back(); in getNext()80 void release(ResourceId I) { FreeIds.push_back(I); } in release()84 std::vector<ResourceId> FreeIds; variable