Searched refs:getLemmasInUnsatCore (Results 1 – 3 of 3) sorted by relevance
272 void getLemmasInUnsatCore(theory::TheoryId theory, std::vector<Node> &lemmas);
377 void ProofManager::getLemmasInUnsatCore(theory::TheoryId theory, std::vector<Node> &lemmas) { in getLemmasInUnsatCore() function in CVC4::ProofManager
573 ProofManager::currentPM()->getLemmasInUnsatCore(theory::THEORY_QUANTIFIERS, in getUnsatCoreLemmas()