dft: maxrank

Former-commit-id: 23a542833a [formerly 9f10f91949]
Former-commit-id: 0333dac42a

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();

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 {