Searched refs:printCMapProof (Results 1 – 4 of 4) sorted by relevance
110 static void printCMapProof(const std::vector<ClauseId>& clauses,
175 LFSCProofPrinter::printCMapProof(usedIds, os, "bb"); in printEmptyClauseProof()
162 void LFSCProofPrinter::printCMapProof(const std::vector<ClauseId>& clauses, in printCMapProof() function in CVC4::proof::LFSCProofPrinter
91 LFSCProofPrinter::printCMapProof(ids, lfsc, ""); in testPrintCMapProof()