Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h288 void addAssertionFilter(const Node& node, const std::string& rewritten);
H A Dproof_manager.cpp538 void ProofManager::addAssertionFilter(const Node& node, const std::string& rewritten) { in addAssertionFilter() function in CVC4::ProofManager
828 ProofManager::currentPM()->addAssertionFilter(*it, rewritten.str()); in printPreprocessedAssertions()
863 ProofManager::currentPM()->addAssertionFilter(*rewrite, in checkUnrewrittenAssertion()