Searched refs:checkUnrewrittenAssertion (Results 1 – 2 of 2) sorted by relevance
341 void checkUnrewrittenAssertion(const NodeSet& assertions) const;
761 checkUnrewrittenAssertion(assertions); in printPreprocessedAssertions()848 void LFSCProof::checkUnrewrittenAssertion(const NodeSet& rewrites) const in checkUnrewrittenAssertion() function in CVC4::LFSCProof