Some fixes for Linux.

Former-commit-id: 0c20596d19

src/storage/Decomposition.cpp

@@ -33,7 +33,7 @@ namespace storm {
         }
         
         template <typename BlockType>
-        size_t Decomposition<BlockType>::size() const {
+        std::size_t Decomposition<BlockType>::size() const {
             return blocks.size();
         }
         

src/storage/Decomposition.h

@@ -2,6 +2,8 @@
 #define STORM_STORAGE_DECOMPOSITION_H_
 
 #include <vector>
+#include <cstdint>
+#include <ostream>
 
 namespace storm {
     namespace storage {
@@ -56,7 +58,7 @@ namespace storm {
              *
              * @return The number of blocks of this decomposition.
              */
-            size_t size() const;
+            std::size_t size() const;
             
             /*!
              * Retrieves an iterator that points to the first block of this decomposition.