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