Searched refs:TheExistsOpInitPool (Results 1 – 1 of 1) sorted by relevance
84 FoldingSet<ExistsOpInit> TheExistsOpInitPool; member2038 if (ExistsOpInit *I = RK.TheExistsOpInitPool.FindNodeOrInsertPos(ID, IP)) in get()2042 RK.TheExistsOpInitPool.InsertNode(I, IP); in get()