Searched refs:assertionIt (Results 1 – 2 of 2) sorted by relevance
781 ProofManager::assertions_iterator assertionIt; in printPreprocessedAssertions() local782 … for (assertionIt = inputAssertions.begin(); assertionIt != inputAssertions.end(); ++assertionIt) { in printPreprocessedAssertions()783 Debug("pf::pm") << "\t" << *assertionIt << std::endl; in printPreprocessedAssertions()
523 std::set<Node>::iterator assertionIt; in finalizeBvConflicts() local524 for (assertionIt = missingAssertions.begin(); in finalizeBvConflicts()525 assertionIt != missingAssertions.end(); in finalizeBvConflicts()526 ++assertionIt) { in finalizeBvConflicts()527 Node negated = (*assertionIt).negate(); in finalizeBvConflicts()