From: Tim King Date: Wed, 31 Aug 2016 22:59:26 +0000 (-0700) Subject: Cleaning up the dead FORIT macros. X-Git-Tag: cvc5-1.0.0~6028^2~68 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6b840e521eef52a864f51fa18d6e86a6bf34f4a;p=cvc5.git Cleaning up the dead FORIT macros. --- diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp index 5f6a38032..dbe94ff4b 100644 --- a/src/theory/sets/theory_sets_private.cpp +++ b/src/theory/sets/theory_sets_private.cpp @@ -509,12 +509,9 @@ void TheorySetsPrivate::dumpAssertionsHumanified() const (polarity ? members[right].first : members[right].second).insert(left); } } - //#define FORIT(it, container) for(typeof((container).begin()) it=(container).begin(); (it) != (container).end(); ++(it)) - //FORIT(kt, equalities) for(EqualityMap::const_iterator kt =equalities.begin(); kt != equalities.end(); ++kt) { Trace(tag) << " Eq class of t" << numbering[(*kt).first] << ": " << std::endl; - //FORIT(jt, (*kt).second) const TNodeSet& kt_second = (*kt).second; for(TNodeSet::const_iterator jt=kt_second.begin(); jt != kt_second.end(); ++jt) { TNode S = (*jt); @@ -538,11 +535,9 @@ void TheorySetsPrivate::dumpAssertionsHumanified() const } Trace(tag) << std::endl; } - //FORIT(kt, disequalities) for(TNodePairSet::const_iterator kt=disequalities.begin(); kt != disequalities.end(); ++kt){ Trace(tag) << "NOT(t"< 0) { Trace(tag) << "NOT IN t" << numbering[kt_key] << ": "; - //FORIT(jt, (*kt).second.second) for(TNodeSet::const_iterator jt=kt_out_set.begin(); jt != kt_out_set.end(); ++jt){ TNode x = (*jt); if(x.isConst() || numbering.find(d_equalityEngine.getRepresentative(x)) == numbering.end()) { @@ -575,7 +569,6 @@ void TheorySetsPrivate::dumpAssertionsHumanified() const } } Trace(tag) << std::endl; - //#undef FORIT } void TheorySetsPrivate::computeCareGraph() {