From fb4b5b2d842475a217f535530983e4d1ec101e30 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 13 Oct 2017 00:39:08 +0200
Subject: [PATCH] added functionality to clear specified solution bounds of
 equation solvers

---
 src/storm/solver/AbstractEquationSolver.cpp | 8 ++++++++
 src/storm/solver/AbstractEquationSolver.h   | 5 +++++
 2 files changed, 13 insertions(+)

diff --git a/src/storm/solver/AbstractEquationSolver.cpp b/src/storm/solver/AbstractEquationSolver.cpp
index 18a82f498..e7e909d98 100644
--- a/src/storm/solver/AbstractEquationSolver.cpp
+++ b/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)) {
diff --git a/src/storm/solver/AbstractEquationSolver.h b/src/storm/solver/AbstractEquationSolver.h
index 6ad9c32ad..d9a1764ff 100644
--- a/src/storm/solver/AbstractEquationSolver.h
+++ b/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.
              */