Removed some superfluous stuff.

Former-commit-id: ca742ac658

src/storage/expressions/Variable.cpp

@@ -52,13 +52,3 @@ namespace storm {
         }
     }
 }
-
-namespace std {
-    std::size_t hash<storm::expressions::Variable>::operator()(storm::expressions::Variable const& variable) const {
-        return std::hash<uint_fast64_t>()(variable.getIndex());
-    }
-    
-    std::size_t less<storm::expressions::Variable>::operator()(storm::expressions::Variable const& variable1, storm::expressions::Variable const& variable2) const {
-        return variable1.getIndex() < variable2.getIndex();
-    }
-}

src/storage/expressions/Variable.h

@@ -8,26 +8,6 @@
 #include "src/storage/expressions/Type.h"
 #include "src/storage/expressions/Expression.h"
 
-namespace storm {
-    namespace expressions {
-        class Variable;
-    }
-}
-
-namespace std {
-    // Provide a hashing operator, so we can put variables in unordered collections.
-    template <>
-    struct hash<storm::expressions::Variable> {
-        std::size_t operator()(storm::expressions::Variable const& variable) const;
-    };
-    
-    // Provide a less operator, so we can put variables in ordered collections.
-    template <>
-    struct less<storm::expressions::Variable> {
-        std::size_t operator()(storm::expressions::Variable const& variable1, storm::expressions::Variable const& variable2) const;
-    };
-}
-
 namespace storm {
     namespace expressions {
         class ExpressionManager;
@@ -141,4 +121,22 @@ namespace storm {
     }
 }
 
+namespace std {
+    // Provide a hashing operator, so we can put variables in unordered collections.
+    template <>
+    struct hash<storm::expressions::Variable> {
+        std::size_t operator()(storm::expressions::Variable const& variable) const {
+            return std::hash<uint_fast64_t>()(variable.getIndex());
+        }
+    };
+    
+    // Provide a less operator, so we can put variables in ordered collections.
+    template <>
+    struct less<storm::expressions::Variable> {
+        std::size_t operator()(storm::expressions::Variable const& variable1, storm::expressions::Variable const& variable2) const {
+            return variable1.getIndex() < variable2.getIndex();
+        }
+    };
+}
+
 #endif /* STORM_STORAGE_EXPRESSIONS_VARIABLE_H_ */