Searched refs:d_refinement_lemmas (Results 1 – 2 of 2) sorted by relevance
299 d_refinement_lemmas.push_back(lem); in addRefinementLemma()582 d_refinement_lemmas.begin(), d_refinement_lemmas.end(), rlem) in sampleAddRefinementLemma()583 == d_refinement_lemmas.end()) in sampleAddRefinementLemma()
99 std::vector<Node> d_refinement_lemmas; variable