Use member variable initializer

Author: peterschrammel

src/solvers/prop/minimize.cpp

@@ -18,12 +18,7 @@ Author: Daniel Kroening, [email protected]
 prop_minimizet::prop_minimizet(
   prop_convt &_prop_conv,
   message_handlert &message_handler)
-  : _iterations(0),
-    _number_satisfied(0),
-    _number_objectives(0),
-    _value(0),
-    prop_conv(_prop_conv),
-    log(message_handler)
+  : prop_conv(_prop_conv), log(message_handler)
 {
 }
 

src/solvers/prop/minimize.h

@@ -69,10 +69,10 @@ class prop_minimizet
   objectivest objectives;
 
 protected:
-  unsigned _iterations;
-  std::size_t _number_satisfied;
-  std::size_t _number_objectives;
-  weightt _value;
+  unsigned _iterations = 0;
+  std::size_t _number_satisfied = 0;
+  std::size_t _number_objectives = 0;
+  weightt _value = 0;
   prop_convt &prop_conv;
   messaget log;