H A D | proof_manager.cpp | 209 std::string ProofManager::getLitName(prop::SatLiteral lit, in getLitName() function in CVC4::ProofManager 238 std::string ProofManager::getLitName(TNode lit, in getLitName() function in CVC4::ProofManager 240 std::string litName = getLitName(currentPM()->d_cnfProof->getLiteral(lit), prefix); in getLitName() 932 std::string litName = getLitName(currentPM()->d_cnfProof->getLiteral(lit)); in haveRewriteFilter()
|