Searched refs:printProofTopLevel (Results 1 – 2 of 2) sorted by relevance
186 bool printProofTopLevel(Node e, std::ostream& out);
507 bool is_input = printProofTopLevel(base_assertion, os_base); in printCnfProofForClause()874 bool LFSCCnfProof::printProofTopLevel(Node e, std::ostream& out) { in printProofTopLevel() function in CVC4::LFSCCnfProof883 if (printProofTopLevel(parent, out_parent)) { in printProofTopLevel()