Resize a vector instead of repeatedly calling push_back.

std::vector<double>(0) creates an empty vector, so we can save some time by just
resizing the vector of vectors instead.

diff --git a/source/numerics/point_value_history.cc b/source/numerics/point_value_history.cc
index fbd5d18d1e1f84065491376310850e11068b435d..fe1ac2fb8a382328e2296831e0af6b81b87532da 100644 (file)
--- a/source/numerics/point_value_history.cc
+++ b/source/numerics/point_value_history.cc
@@ -309,10 +309,7 @@ void PointValueHistory<dim>
       // entry
       const ComponentMask &current_mask = (component_mask.find (data_store_begin->first))->second;
       unsigned int n_stored = current_mask.n_selected_components();
-      for (unsigned int component = 0; component < n_stored; component++)
-        {
-          data_store_begin->second.push_back (std::vector<double> (0));
-        }
+      data_store_begin->second.resize(data_store_begin->second.size() + n_stored);
     }
 }
 
@@ -429,10 +426,7 @@ void PointValueHistory<dim>
           // entry
           const ComponentMask current_mask = (component_mask.find (data_store_begin->first))->second;
           unsigned int n_stored = current_mask.n_selected_components();
-          for (unsigned int component = 0; component < n_stored; component++)
-            {
-              data_store_begin->second.push_back (std::vector<double> (0));
-            }
+          data_store_begin->second.resize(data_store_begin->second.size() + n_stored);
         }
     }
 }