Searched refs:printPreprocessedAssertions (Results 1 – 2 of 2) sorted by relevance
336 void printPreprocessedAssertions(const NodeSet& assertions,
715 printPreprocessedAssertions(used_assertions, out, paren, globalLetMap); in toStream()748 void LFSCProof::printPreprocessedAssertions(const NodeSet& assertions, in printPreprocessedAssertions() function in CVC4::LFSCProof