From 08dd8f7b7caf4661996a3a33caa35afad540b808 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 18 May 2018 16:33:28 +0200
Subject: [PATCH] some fixes to make gcc happy

---
 .../abstraction/ExplicitGameStrategy.cpp      |  3 ++
 .../ExplicitQuantiativeResultMinMax.cpp       | 48 -------------------
 2 files changed, 3 insertions(+), 48 deletions(-)
 delete mode 100644 src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp

diff --git a/src/storm/abstraction/ExplicitGameStrategy.cpp b/src/storm/abstraction/ExplicitGameStrategy.cpp
index 29748aa92..4445d697f 100644
--- a/src/storm/abstraction/ExplicitGameStrategy.cpp
+++ b/src/storm/abstraction/ExplicitGameStrategy.cpp
@@ -1,5 +1,8 @@
 #include "storm/abstraction/ExplicitGameStrategy.h"
 
+#include <limits>
+#include <algorithm>
+
 namespace storm {
     namespace abstraction {
         
diff --git a/src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp b/src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp
deleted file mode 100644
index 35237f4d5..000000000
--- a/src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp
+++ /dev/null
@@ -1,48 +0,0 @@
-#include "storm/abstraction/ExplicitQuantitativeResultMinMax.h"
-
-namespace storm {
-    namespace abstraction {
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResultMinMax<ValueType>::ExplicitQuantitativeResultMinMax(uint64_t numberOfStates) = default;
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType> const& ExplicitQuantitativeResultMinMax<ValueType>::getMin() const {
-            return min;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType>& ExplicitQuantitativeResultMinMax<ValueType>::getMin() {
-            return min;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType> const& ExplicitQuantitativeResultMinMax<ValueType>::getMax() const {
-            return max;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType>& ExplicitQuantitativeResultMinMax<ValueType>::getMax() {
-            return max;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType> const& ExplicitQuantitativeResultMinMax<ValueType>::get(storm::OptimizationDirection const& dir) const {
-            if (dir == storm::OptimizationDirection::Minimize) {
-                return this->getMin();
-            } else {
-                return this->getMax();
-            }
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType>& ExplicitQuantitativeResultMinMax<ValueType>::get(storm::OptimizationDirection const& dir) {
-            if (dir == storm::OptimizationDirection::Minimize) {
-                return this->getMin();
-            } else {
-                return this->getMax();
-            }
-        }
-
-    }
-}