some fixes to make gcc happy

src/storm/abstraction/ExplicitGameStrategy.cpp

@@ -1,5 +1,8 @@
 #include "storm/abstraction/ExplicitGameStrategy.h"
 
+#include <limits>
+#include <algorithm>
+
 namespace storm {
     namespace abstraction {
         

src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp

@@ -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();
-            }
-        }
-
-    }
-}