added function BitVector::fill() which sets all bits to true

src/storm/storage/BitVector.cpp

@@ -576,6 +576,10 @@ namespace storm {
         void BitVector::clear() {
             std::fill_n(buckets, this->bucketCount(), 0);
         }
+        
+        void BitVector::fill() {
+            std::fill_n(buckets, this->bucketCount(), -1ull);
+        }
 
         uint_fast64_t BitVector::getNumberOfSetBits() const {
             return getNumberOfSetBitsBeforeIndex(bitCount);

src/storm/storage/BitVector.h

@@ -427,6 +427,11 @@ namespace storm {
              */
             void clear();
                         
+            /*!
+             * Sets all bits from the bit vector. Calling full() after this operation will yield true.
+             */
+            void fill();
+            
             /*!
              * Returns the number of bits that are set to true in this bit vector.
              *