Searched refs:printAssumptionsResolution (Results 1 – 3 of 3) sorted by relevance
89 void LFSCProofPrinter::printAssumptionsResolution(TSatProof<Solver>* satProof, in printAssumptionsResolution() function in CVC4::proof::LFSCProofPrinter189 template void LFSCProofPrinter::printAssumptionsResolution(203 template void LFSCProofPrinter::printAssumptionsResolution(
47 static void printAssumptionsResolution(TSatProof<Solver>* satProof,
295 proof::LFSCProofPrinter::printAssumptionsResolution( in printTheoryLemmaProof()425 proof::LFSCProofPrinter::printAssumptionsResolution( in printTheoryLemmaProof()