Searched refs:FreeIds (Results 1 – 3 of 3) 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
150 if (!FreeIds.empty()) { in getNext()151 ResourceId I = FreeIds.back(); in getNext()152 FreeIds.pop_back(); in getNext()159 void release(ResourceId I) { FreeIds.push_back(I); } in release()163 std::vector<ResourceId> FreeIds; variable
151 if (!FreeIds.empty()) { in getNext()152 ResourceId I = FreeIds.back(); in getNext()153 FreeIds.pop_back(); in getNext()160 void release(ResourceId I) { FreeIds.push_back(I); } in release()164 std::vector<ResourceId> FreeIds; variable