Searched refs:d_pp_lemmas (Results 1 – 2 of 2) sorted by relevance
37 d_pp_lemmas(p->getUserContext()), in ExtTheory()344 if (d_pp_lemmas.find(lem) == d_pp_lemmas.end()) in sendLemma()346 d_pp_lemmas.insert(lem); in sendLemma()
228 NodeSet d_pp_lemmas; variable