Searched refs:d_ppCache (Results 1 – 2 of 2) sorted by relevance
301 d_ppCache(), in TheoryEngine()1024 d_ppCache.clear(); in shutdown()1053 if (find != d_ppCache.end()) { in ppTheoryRewrite()1086 d_ppCache[term] = newTerm; in ppTheoryRewrite()1094 d_ppCache.clear(); in preprocessStart()1125 if (find != d_ppCache.end()) { in preprocess()1145 Assert(Rewriter::rewrite(d_ppCache[current]) == d_ppCache[current]); in preprocess()1157 Assert(d_ppCache.find(current[i]) != d_ppCache.end()); in preprocess()1166 d_ppCache[current] = result; in preprocess()1183 d_ppCache[current] = current; in preprocess()[all …]
226 NodeMap d_ppCache; variable