Added missing template parameters in the abstract models

Former-commit-id: 05a07d1c59

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 {

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;
 		}

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

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:

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:

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: