From 03920c096ab996a471528924f0054664eed2d41e Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 1 Aug 2017 15:25:06 +0200
Subject: [PATCH] missing file

---
 .../dd/bisimulation/MdpPartitionRefiner.h     | 37 +++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 src/storm/storage/dd/bisimulation/MdpPartitionRefiner.h

diff --git a/src/storm/storage/dd/bisimulation/MdpPartitionRefiner.h b/src/storm/storage/dd/bisimulation/MdpPartitionRefiner.h
new file mode 100644
index 000000000..1037811d5
--- /dev/null
+++ b/src/storm/storage/dd/bisimulation/MdpPartitionRefiner.h
@@ -0,0 +1,37 @@
+#pragma once
+
+#include "storm/storage/dd/bisimulation/PartitionRefiner.h"
+
+namespace storm {
+    namespace dd {
+        namespace bisimulation {
+            
+            template <storm::dd::DdType DdType, typename ValueType>
+            class MdpPartitionRefiner : public PartitionRefiner<DdType, ValueType> {
+            public:
+                MdpPartitionRefiner(storm::models::symbolic::Model<DdType, ValueType> const& model, Partition<DdType, ValueType> const& initialStatePartition);
+                
+                /*!
+                 * Refines the partition.
+                 *
+                 * @param mode The signature mode to use.
+                 * @return False iff the partition is stable and no refinement was actually performed.
+                 */
+                bool refine(bisimulation::SignatureMode const& mode = bisimulation::SignatureMode::Eager);
+                
+                /*!
+                 * Retrieves the current choice partition in the refinement process.
+                 */
+                Partition<DdType, ValueType> const& getChoicePartition() const;
+                
+            private:
+                // The choice partition in the refinement process.
+                Partition<DdType, ValueType> choicePartition;
+                
+                // The object used to refine the choice partition based on the signatures.
+                SignatureRefiner<DdType, ValueType> choiceSignatureRefiner;
+            };
+            
+        }
+    }
+}