Home
last modified time | relevance | path

Searched refs:printTrustedTerm (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h246 static void printTrustedTerm(Node term,
H A Dproof_manager.cpp814 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