Searched refs:d_refinement_lemma_vars (Results 1 – 2 of 2) sorted by relevance
123 if (d_refinement_lemma_vars.find(v) != d_refinement_lemma_vars.end()) in addEvalLemmas()312 expr::getSymbols(slem, d_refinement_lemma_vars); in addRefinementLemma()
108 std::unordered_set<Node, NodeHashFunction> d_refinement_lemma_vars; variable