Searched refs:getPreprocessedAssertionName (Results 1 – 4 of 4) sorted by relevance
214 std::string ProofManager::getPreprocessedAssertionName(Node node, in getPreprocessedAssertionName() function in CVC4::ProofManager816 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()
230 static std::string getPreprocessedAssertionName(Node node, const std::string& prefix = "");
711 os <<"(\\ " << ProofManager::getPreprocessedAssertionName(ait->second) <<"\n"; in printBitblasting()
944 out << ProofManager::getPreprocessedAssertionName(e); in printProofTopLevel()