Searched refs:TheExistsOpInitPool (Results 1 – 1 of 1) sorted by relevance
86 FoldingSet<ExistsOpInit> TheExistsOpInitPool; member119 OS << "TheExistsOpInitPool size = " << TheExistsOpInitPool.size() << '\n'; in dumpAllocationStats()2149 RK.TheExistsOpInitPool.FindNodeOrInsertPos(ID, IP)) in get()2153 RK.TheExistsOpInitPool.InsertNode(I, IP); in get()