Home
last modified time | relevance | path

Searched refs:getPreprocessedAssertionName (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.cpp214 std::string ProofManager::getPreprocessedAssertionName(Node node, in getPreprocessedAssertionName() function in CVC4::ProofManager
816 os << "(\\ "<< ProofManager::getPreprocessedAssertionName(*it, "") << "\n"; in printPreprocessedAssertions()
825 rewritten << ProofManager::getPreprocessedAssertionName(*it, ""); in printPreprocessedAssertions()
840 os << "(\\ "<< ProofManager::getPreprocessedAssertionName(*it, "") << "\n"; in printPreprocessedAssertions()
859 << ProofManager::getPreprocessedAssertionName(*rewrite, "") in checkUnrewrittenAssertion()
H A Dproof_manager.h230 static std::string getPreprocessedAssertionName(Node node, const std::string& prefix = "");
H A Dbitvector_proof.cpp711 os <<"(\\ " << ProofManager::getPreprocessedAssertionName(ait->second) <<"\n"; in printBitblasting()
H A Dcnf_proof.cpp944 out << ProofManager::getPreprocessedAssertionName(e); in printProofTopLevel()