From e12b98bf5ee54f9cd236b8a70775c5cdcfe0cbbf Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 16 Nov 2016 15:21:52 +0100
Subject: [PATCH] dft: maxrank

Former-commit-id: 23a542833ac8ac388f3e05de808df18c2cf8fb35 [formerly 9f10f91949656b267b6cc2328e6fd88cf79f7d62]
Former-commit-id: 0333dac42aab66a101b739e20a88690232541c68
---
 src/storm/storage/dft/DFT.cpp | 5 +++++
 src/storm/storage/dft/DFT.h   | 2 ++
 2 files changed, 7 insertions(+)

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 {