Searched refs:FreeIds (Results 1 – 2 of 2) 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
153 if (!FreeIds.empty()) { in getNext()154 ResourceId I = FreeIds.back(); in getNext()155 FreeIds.pop_back(); in getNext()162 void release(ResourceId I) { FreeIds.push_back(I); } in release()166 std::vector<ResourceId> FreeIds; variable