Searched refs:clearRewriteFilters (Results 1 – 3 of 3) sorted by relevance
285 void clearRewriteFilters();
699 pm->clearRewriteFilters(); in printTheoryLemmas()818 pm->clearRewriteFilters(); in printTheoryLemmas()
936 void ProofManager::clearRewriteFilters() { in clearRewriteFilters() function in CVC4::ProofManager