Searched refs:satClauseToNodeSet (Results 1 – 2 of 2) sorted by relevance
392 std::set<Node> lemma = satClauseToNodeSet(it->second); in getLemmasInUnsatCore()414 std::set<Node> ProofManager::satClauseToNodeSet(prop::SatClause* clause) { in satClauseToNodeSet() function in CVC4::ProofManager448 std::set<Node> currentLemma = satClauseToNodeSet(it->second); in getWeakestImplicantInUnsatCore()477 std::set<Node> currentLemma = satClauseToNodeSet(it->second); in getWeakestImplicantInUnsatCore()
305 std::set<Node> satClauseToNodeSet(prop::SatClause* clause);