diff --git a/src/storm/storage/dft/DFT.cpp b/src/storm/storage/dft/DFT.cpp
index 4edce14ab..d118ba75e 100644
--- a/src/storm/storage/dft/DFT.cpp
+++ b/src/storm/storage/dft/DFT.cpp
@@ -280,6 +280,11 @@ namespace storm {
             
         }
         
+        template<typename ValueType>
+        uint64_t DFT<ValueType>::maxRank() const {
+            return mElements.back()->rank();
+        }
+        
         template<typename ValueType>
         DFT<ValueType> DFT<ValueType>::optimize() const {
             std::vector<size_t> modIdea = findModularisationRewrite();
diff --git a/src/storm/storage/dft/DFT.h b/src/storm/storage/dft/DFT.h
index e82532711..4b54391f2 100644
--- a/src/storm/storage/dft/DFT.h
+++ b/src/storm/storage/dft/DFT.h
@@ -201,6 +201,8 @@ namespace storm {
 
             bool canHaveNondeterminism() const;
             
+            uint64_t maxRank() const;
+            
             std::vector<DFT<ValueType>> topModularisation() const;
             
             bool isRepresentative(size_t id) const {