added functionality to clear specified solution bounds of equation solvers

src/storm/solver/AbstractEquationSolver.cpp

@@ -150,6 +150,14 @@ namespace storm {
             setUpperBounds(upper);
         }
         
+        template<typename ValueType>
+        void AbstractEquationSolver<ValueType>::clearBounds() {
+            lowerBound = boost::none;
+            upperBound = boost::none;
+            lowerBounds = boost::none;
+            upperBounds = boost::none;
+        }
+        
         template<typename ValueType>
         void AbstractEquationSolver<ValueType>::createLowerBoundsVector(std::vector<ValueType>& lowerBoundsVector) const {
             if (this->hasLowerBound(BoundType::Local)) {

src/storm/solver/AbstractEquationSolver.h

@@ -131,6 +131,11 @@ namespace storm {
              */
             void setBounds(std::vector<ValueType> const& lower, std::vector<ValueType> const& upper);
             
+            /*!
+             * Removes all specified solution bounds
+             */
+            void clearBounds();
+            
             /*!
              * Retrieves whether progress is to be shown.
              */