From c634ff6d0b95c712c14746ba4f458605542b695c Mon Sep 17 00:00:00 2001 From: dehnert Date: Tue, 27 Nov 2012 10:08:46 +0100 Subject: [PATCH] Removed debug output. --- src/models/AtomicPropositionsLabeling.h | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/models/AtomicPropositionsLabeling.h b/src/models/AtomicPropositionsLabeling.h index f7d0e28e6..a88f285aa 100644 --- a/src/models/AtomicPropositionsLabeling.h +++ b/src/models/AtomicPropositionsLabeling.h @@ -188,12 +188,6 @@ public: << this->singleLabelings[ap.second]->getNumberOfSetBits(); out << " state(s)" << std::endl; } - for(unsigned int i = 0; i < apCountMax; ++i) { - std::cout << "iterator " << i << std::endl; - for(auto it = this->singleLabelings[i]->begin(); it != this->singleLabelings[i]->end(); ++it) { - out << "next value: " << *it << std::endl; - } - } } private: