use ranged for

Daniel Kroening · Daniel Kroening · commit 8e992728d118 · 2017-11-14T16:30:18.000Z
diff --git a/src/solvers/prop/prop_conv_store.cpp b/src/solvers/prop/prop_conv_store.cpp
@@ -31,20 +31,14 @@ literalt prop_conv_storet::convert(const exprt &expr)
 
 void prop_conv_storet::constraintst::replay(prop_convt &dest) const
 {
-  for(constraint_listt::const_iterator
-      it=constraint_list.begin();
-      it!=constraint_list.end();
-      it++)
-    it->replay(dest);
+  for(const auto &c : constraint_list)
+    c.replay(dest);
 }
 
 void prop_conv_storet::constraintst::print(std::ostream &out) const
 {
-  for(constraint_listt::const_iterator
-      it=constraint_list.begin();
-      it!=constraint_list.end();
-      it++)
-    it->print(out);
+  for(const auto &c : constraint_list)
+    c.print(out);
 }
 
 void prop_conv_storet::constraintt::replay(prop_convt &dest) const

Original file line number	Diff line number	Diff line change
`@@ -31,20 +31,14 @@ literalt prop_conv_storet::convert(const exprt &expr)`
`31`	`31`
`32`	`32`	`void prop_conv_storet::constraintst::replay(prop_convt &dest) const`
`33`	`33`	`{`
`34`		`- for(constraint_listt::const_iterator`
`35`		`- it=constraint_list.begin();`
`36`		`- it!=constraint_list.end();`
`37`		`- it++)`
`38`		`- it->replay(dest);`
	`34`	`+ for(const auto &c : constraint_list)`
	`35`	`+ c.replay(dest);`
`39`	`36`	`}`
`40`	`37`
`41`	`38`	`void prop_conv_storet::constraintst::print(std::ostream &out) const`
`42`	`39`	`{`
`43`		`- for(constraint_listt::const_iterator`
`44`		`- it=constraint_list.begin();`
`45`		`- it!=constraint_list.end();`
`46`		`- it++)`
`47`		`- it->print(out);`
	`40`	`+ for(const auto &c : constraint_list)`
	`41`	`+ c.print(out);`
`48`	`42`	`}`
`49`	`43`
`50`	`44`	`void prop_conv_storet::constraintt::replay(prop_convt &dest) const`