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