Use ranged for

romainbrenguier · romainbrenguier · commit 8eb20f6cf933 · 2018-04-23T08:50:11.000+01:00
diff --git a/src/solvers/prop/prop_conv.cpp b/src/solvers/prop/prop_conv.cpp
@@ -38,9 +38,9 @@ void prop_convt::set_frozen(const literalt)
 
 void prop_convt::set_frozen(const bvt &bv)
 {
-  for(unsigned i=0; i<bv.size(); i++)
-    if(!bv[i].is_constant())
-      set_frozen(bv[i]);
+  for(const auto &bit : bv)
+    if(!bit.is_constant())
+      set_frozen(bit);
 }
 
 bool prop_conv_solvert::literal(const exprt &expr, literalt &dest) const

Original file line number	Diff line number	Diff line change
`@@ -38,9 +38,9 @@ void prop_convt::set_frozen(const literalt)`
`38`	`38`
`39`	`39`	`void prop_convt::set_frozen(const bvt &bv)`
`40`	`40`	`{`
`41`		`- for(unsigned i=0; i<bv.size(); i++)`
`42`		`- if(!bv[i].is_constant())`
`43`		`- set_frozen(bv[i]);`
	`41`	`+ for(const auto &bit : bv)`
	`42`	`+ if(!bit.is_constant())`
	`43`	`+ set_frozen(bit);`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	`bool prop_conv_solvert::literal(const exprt &expr, literalt &dest) const`