Searched refs:addedEvalLemmas (Results 1 – 1 of 1) sorted by relevance
133 bool addedEvalLemmas = false; in addEvalLemmas() local154 addedEvalLemmas = true; in addEvalLemmas()189 addedEvalLemmas = true; in addEvalLemmas()194 return addedEvalLemmas; in addEvalLemmas()254 bool addedEvalLemmas = addEvalLemmas(enums, enum_values, lems); in constructCandidates() local261 !addedEvalLemmas, in constructCandidates()