Searched refs:lemmaIt (Results 1 – 1 of 1) sorted by relevance
444 std::set<Node>::iterator lemmaIt; in getWeakestImplicantInUnsatCore() local459 for (lemmaIt = currentLemma.begin(); lemmaIt != currentLemma.end(); ++lemmaIt) { in getWeakestImplicantInUnsatCore()460 builder << *lemmaIt; in getWeakestImplicantInUnsatCore()465 if (lemma[i] == *lemmaIt) in getWeakestImplicantInUnsatCore()489 for (lemmaIt = currentLemma.begin(); lemmaIt != currentLemma.end(); ++lemmaIt) { in getWeakestImplicantInUnsatCore()490 disjunction << *lemmaIt; in getWeakestImplicantInUnsatCore()