Searched refs:cre_lems (Results 1 – 1 of 1) sorted by relevance
141 std::vector<Node> cre_lems; in addEvalLemmas() local143 getRefinementEvalLemmas(candidates, candidate_values, cre_lems, doGen); in addEvalLemmas()151 if (!cre_lems.empty()) in addEvalLemmas()153 lems.insert(lems.end(), cre_lems.begin(), cre_lems.end()); in addEvalLemmas()157 for (const Node& lem : cre_lems) in addEvalLemmas()