From 35c23525a1573f2e5af70474a2f66e323b96f83a Mon Sep 17 00:00:00 2001 From: PBerger Date: Mon, 17 Jun 2013 16:10:47 +0200 Subject: [PATCH] Removed debug output from AbstractModel.h Former-commit-id: 8e8e081a94ae76b9e807b50931838d23dc68b564 --- src/models/AbstractModel.h | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/src/models/AbstractModel.h b/src/models/AbstractModel.h index 5d03f9a6e..3821fe185 100644 --- a/src/models/AbstractModel.h +++ b/src/models/AbstractModel.h @@ -380,21 +380,13 @@ class AbstractModel: public std::enable_shared_from_this> { */ virtual size_t getHash() const { std::size_t result = 0; - std::size_t hashTmp = transitionMatrix.getHash(); - std::cout << "Transition Matrix Hash: " << hashTmp << std::endl; - boost::hash_combine(result, hashTmp); - hashTmp = stateLabeling.getHash(); - std::cout << "StateLabeling Hash: " << hashTmp << std::endl; - boost::hash_combine(result, hashTmp); + boost::hash_combine(result, transitionMatrix.getHash()); + boost::hash_combine(result, stateLabeling.getHash()); if (stateRewardVector) { - hashTmp = storm::utility::Hash::getHash(stateRewardVector.get()); - std::cout << "State Reward Vector Hash: " << hashTmp << std::endl; - boost::hash_combine(result, hashTmp); + boost::hash_combine(result, storm::utility::Hash::getHash(stateRewardVector.get())); } if (transitionRewardMatrix) { - hashTmp = transitionRewardMatrix.get().getHash(); - std::cout << "Transition Reward Matrix Hash: " << hashTmp << std::endl; - boost::hash_combine(result, hashTmp); + boost::hash_combine(result, transitionRewardMatrix.get().getHash()); } return result; }