Searched refs:addAssertionFilter (Results 1 – 2 of 2) sorted by relevance
288 void addAssertionFilter(const Node& node, const std::string& rewritten);
538 void ProofManager::addAssertionFilter(const Node& node, const std::string& rewritten) { in addAssertionFilter() function in CVC4::ProofManager828 ProofManager::currentPM()->addAssertionFilter(*it, rewritten.str()); in printPreprocessedAssertions()863 ProofManager::currentPM()->addAssertionFilter(*rewrite, in checkUnrewrittenAssertion()