setting lower bounds for equation solvers via move-reference

src/storm/solver/AbstractEquationSolver.cpp

@@ -139,6 +139,11 @@ namespace storm {
             lowerBounds = values;
         }
         
+        template<typename ValueType>
+        void AbstractEquationSolver<ValueType>::setLowerBounds(std::vector<ValueType>&& values) {
+            lowerBounds = std::move(values);
+        }
+        
         template<typename ValueType>
         void AbstractEquationSolver<ValueType>::setUpperBounds(std::vector<ValueType> const& values) {
             upperBounds = values;

src/storm/solver/AbstractEquationSolver.h

@@ -117,6 +117,11 @@ namespace storm {
              */
             void setLowerBounds(std::vector<ValueType> const& values);
             
+            /*!
+             * Sets lower bounds for the solution that can potentially be used by the solver.
+             */
+            void setLowerBounds(std::vector<ValueType>&& values);
+            
             /*!
              * Sets upper bounds for the solution that can potentially be used by the solver.
              */