Searched defs:currentLemma (Results 1 – 1 of 1) sorted by relevance
448 std::set<Node> currentLemma = satClauseToNodeSet(it->second); in getWeakestImplicantInUnsatCore() local477 std::set<Node> currentLemma = satClauseToNodeSet(it->second); in getWeakestImplicantInUnsatCore() local