Searched refs:clearRewriteLog (Results 1 – 2 of 2) sorted by relevance
291 static void clearRewriteLog();
984 void ProofManager::clearRewriteLog() { in clearRewriteLog() function in CVC4::ProofManager