From 323e82994d9c09dda3db75b03fef75ed2500c665 Mon Sep 17 00:00:00 2001
From: Jan Erik Karuc <jan.karuc@rwth-aachen.de>
Date: Thu, 20 Feb 2020 17:47:53 +0100
Subject: [PATCH] maixmumElementDiff implementation in vector.h

---
 src/storm/utility/vector.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/storm/utility/vector.h b/src/storm/utility/vector.h
index 2721ee381..0deed45ba 100644
--- a/src/storm/utility/vector.h
+++ b/src/storm/utility/vector.h
@@ -928,6 +928,19 @@ namespace storm {
                 
                 return true;
             }
+            template<class T>
+            T maximumElementDiff(std::vector<T> const& vectorLeft, std::vector<T> const& vectorRight) {
+                T maxDiff = storm::utility::zero<T>();
+                auto leftIt = vectorLeft.begin();
+                auto leftIte = vectorLeft.end();
+                auto rightIt = vectorRight.begin();
+                for (; leftIt != leftIte; ++leftIt, ++rightIt) {
+                    T diff = *leftIt - *rightIt;
+                    T possDiff = storm::utility::abs(diff);
+                    maxDiff = maxDiff < possDiff ? possDiff : maxDiff;
+                }
+                return maxDiff;
+            }
             
             template<class T>
             T computeSquaredNorm2Difference(std::vector<T> const& b1, std::vector<T> const& b2) {