Searched refs:printTrustedTerm (Results 1 – 2 of 2) sorted by relevance
246 static void printTrustedTerm(Node term,
814 ProofManager::currentPM()->printTrustedTerm(*it, os, globalLetMap); in printPreprocessedAssertions()837 ProofManager::currentPM()->printTrustedTerm(*it, os, globalLetMap); in printPreprocessedAssertions()1066 void ProofManager::printTrustedTerm(Node term, in printTrustedTerm() function in CVC4::ProofManager