Searched refs:rewriteIt (Results 1 – 2 of 2) sorted by relevance
322 LemmaProofRecipe::RewriteIterator rewriteIt; in collectAtomsAndRewritesForLemmas() local323 for (rewriteIt = recipe.rewriteBegin(); rewriteIt != recipe.rewriteEnd(); ++rewriteIt) { in collectAtomsAndRewritesForLemmas()324 rewrites.insert(NodePair(rewriteIt->first, rewriteIt->second)); in collectAtomsAndRewritesForLemmas()327 Node rewritten = rewriteIt->first; in collectAtomsAndRewritesForLemmas()
628 NodePairSet::const_iterator rewriteIt; in toStream() local629 for (rewriteIt = rewrites.begin(); rewriteIt != rewrites.end(); ++rewriteIt) { in toStream()630 Debug("pf::pm") << "\t" << rewriteIt->first << " --> " << rewriteIt->second << std::endl; in toStream()