Searched refs:used_assertions (Results 1 – 1 of 1) sorted by relevance
612 NodeSet used_assertions; in toStream() local613 d_cnfProof->collectAssertionsForClauses(used_inputs, used_assertions); in toStream()617 for (it3 = used_assertions.begin(); it3 != used_assertions.end(); ++it3) in toStream()656 for (NodeSet::const_iterator it = used_assertions.begin(); in toStream()657 it != used_assertions.end(); ++it) { in toStream()715 printPreprocessedAssertions(used_assertions, out, paren, globalLetMap); in toStream()