Searched refs:haveRewriteFilter (Results 1 – 3 of 3) sorted by relevance
40 if (ProofManager::currentPM()->haveRewriteFilter(n.negate())) in simplifyBooleanNode()
286 bool haveRewriteFilter(TNode lit);
931 bool ProofManager::haveRewriteFilter(TNode lit) { in haveRewriteFilter() function in CVC4::ProofManager