From cb39cc5c15cedc2c94dc933c2cfd056ae86f96e5 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 4 Sep 2020 10:47:48 +0200
Subject: [PATCH] Optimistic value iteration helper: Removed unused code.

---
 .../helper/OptimisticValueIterationHelper.cpp | 42 -------------------
 1 file changed, 42 deletions(-)

diff --git a/src/storm/solver/helper/OptimisticValueIterationHelper.cpp b/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
index 076782e40..df89bcaa5 100644
--- a/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
+++ b/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
@@ -14,48 +14,6 @@ namespace storm {
         namespace helper {
             namespace oviinternal {
     
-                template<typename ValueType>
-                ValueType computeMaxAbsDiff(std::vector<ValueType> const& allOldValues, std::vector<ValueType> const& allNewValues, storm::storage::BitVector const& relevantValues) {
-                    ValueType result = storm::utility::zero<ValueType>();
-                    for (auto value : relevantValues) {
-                        result = storm::utility::max<ValueType>(result, storm::utility::abs<ValueType>(allNewValues[value] - allOldValues[value]));
-                    }
-                    return result;
-                }
-        
-                template<typename ValueType>
-                ValueType computeMaxAbsDiff(std::vector<ValueType> const& allOldValues, std::vector<ValueType> const& allNewValues) {
-                    ValueType result = storm::utility::zero<ValueType>();
-                    for (uint64_t i = 0; i < allOldValues.size(); ++i) {
-                        result = storm::utility::max<ValueType>(result, storm::utility::abs<ValueType>(allNewValues[i] - allOldValues[i]));
-                    }
-                    return result;
-                }
-            
-                template<typename ValueType>
-                ValueType computeMaxRelDiff(std::vector<ValueType> const& allOldValues, std::vector<ValueType> const& allNewValues, storm::storage::BitVector const& relevantValues) {
-                    ValueType result = storm::utility::zero<ValueType>();
-                    for (auto i : relevantValues) {
-                        STORM_LOG_ASSERT(!storm::utility::isZero(allNewValues[i]) || storm::utility::isZero(allOldValues[i]), "Unexpected entry in iteration vector.");
-                        if (!storm::utility::isZero(allNewValues[i])) {
-                            result = storm::utility::max<ValueType>(result, storm::utility::abs<ValueType>(allNewValues[i] - allOldValues[i]) / allNewValues[i]);
-                        }
-                    }
-                    return result;
-                }
-                
-                template<typename ValueType>
-                ValueType computeMaxRelDiff(std::vector<ValueType> const& allOldValues, std::vector<ValueType> const& allNewValues) {
-                    ValueType result = storm::utility::zero<ValueType>();
-                    for (uint64_t i = 0; i < allOldValues.size(); ++i) {
-                        STORM_LOG_WARN_COND(!storm::utility::isZero(allNewValues[i]) || storm::utility::isZero(allOldValues[i]), "Unexpected entry in iteration vector.");
-                        if (!storm::utility::isZero(allNewValues[i])) {
-                            result = storm::utility::max<ValueType>(result, storm::utility::abs<ValueType>(allNewValues[i] - allOldValues[i]) / allNewValues[i]);
-                        }
-                    }
-                    return result;
-                }
-    
                 template<typename ValueType>
                 ValueType updateIterationPrecision(storm::Environment const& env, ValueType const& diff) {
                     auto factor = storm::utility::convertNumber<ValueType>(env.solver().ovi().getPrecisionUpdateFactor());