From fb3209dfc3d389209103c67ac27e958054f9ef54 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 13 Jun 2013 15:08:07 +0200
Subject: [PATCH] Added missing template parameters in the abstract models

Former-commit-id: 05a07d1c5996355e2b0fae9105250a59a352d44d
---
 src/models/AbstractDeterministicModel.h    | 2 +-
 src/models/AbstractNondeterministicModel.h | 2 +-
 src/models/Ctmc.h                          | 2 +-
 src/models/Ctmdp.h                         | 2 +-
 src/models/Dtmc.h                          | 2 +-
 src/models/Mdp.h                           | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/models/AbstractDeterministicModel.h b/src/models/AbstractDeterministicModel.h
index 89f854d6d..e3ef622cc 100644
--- a/src/models/AbstractDeterministicModel.h
+++ b/src/models/AbstractDeterministicModel.h
@@ -84,7 +84,7 @@ class AbstractDeterministicModel: public AbstractModel<T> {
 		 * @return size_t A Hash Value
 		 */
 		virtual std::size_t getHash() const override {
-			return AbstractModel::getHash();
+			return AbstractModel<T>::getHash();
 		}
     
         virtual void writeDotToStream(std::ostream& outStream, bool includeLabeling = true, storm::storage::BitVector const* subsystem = nullptr, std::vector<T> const* firstValue = nullptr, std::vector<T> const* secondValue = nullptr, std::vector<uint_fast64_t> const* stateColoring = nullptr, std::vector<std::string> const* colors = nullptr, std::vector<uint_fast64_t>* scheduler = nullptr, bool finalizeOutput = true) const override {
diff --git a/src/models/AbstractNondeterministicModel.h b/src/models/AbstractNondeterministicModel.h
index f5e631555..ba2af13ef 100644
--- a/src/models/AbstractNondeterministicModel.h
+++ b/src/models/AbstractNondeterministicModel.h
@@ -132,7 +132,7 @@ class AbstractNondeterministicModel: public AbstractModel<T> {
 		 */
 		virtual size_t getHash() const override {
 			std::size_t result = 0;
-			boost::hash_combine(result, AbstractModel::getHash());
+			boost::hash_combine(result, AbstractModel<T>::getHash());
 			boost::hash_combine(result, storm::utility::Hash<uint_fast64_t>::getHash(nondeterministicChoiceIndices));
 			return result;
 		}
diff --git a/src/models/Ctmc.h b/src/models/Ctmc.h
index 9d92a560e..77e4317ec 100644
--- a/src/models/Ctmc.h
+++ b/src/models/Ctmc.h
@@ -78,7 +78,7 @@ public:
 	 * @return size_t A Hash Value
 	 */
 	virtual std::size_t getHash() const override {
-		return AbstractDeterministicModel::getHash();
+		return AbstractDeterministicModel<T>::getHash();
 	}
 };
 
diff --git a/src/models/Ctmdp.h b/src/models/Ctmdp.h
index 0dfd154b5..c314c46df 100644
--- a/src/models/Ctmdp.h
+++ b/src/models/Ctmdp.h
@@ -108,7 +108,7 @@ public:
 	 * @return size_t A Hash Value
 	 */
 	virtual std::size_t getHash() const override {
-		return AbstractNondeterministicModel::getHash();
+		return AbstractNondeterministicModel<T>::getHash();
 	}
 
 private:
diff --git a/src/models/Dtmc.h b/src/models/Dtmc.h
index 6e675c3d2..c97c6c513 100644
--- a/src/models/Dtmc.h
+++ b/src/models/Dtmc.h
@@ -114,7 +114,7 @@ public:
 	 * @return size_t A Hash Value
 	 */
 	virtual std::size_t getHash() const override {
-		return AbstractDeterministicModel::getHash();
+		return AbstractDeterministicModel<T>::getHash();
 	}
 
 private:
diff --git a/src/models/Mdp.h b/src/models/Mdp.h
index 5241a3d7d..17dd907c2 100644
--- a/src/models/Mdp.h
+++ b/src/models/Mdp.h
@@ -110,7 +110,7 @@ public:
 	 * @return size_t A Hash Value
 	 */
 	virtual std::size_t getHash() const override {
-		return AbstractNondeterministicModel::getHash();
+		return AbstractNondeterministicModel<T>::getHash();
 	}
 private: