From d4980ca325bf8ba65a832e562efb05d0a8397b7e Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 23 Aug 2017 19:52:58 +0200
Subject: [PATCH] intermediate commit

---
 .../analysis/UniqueObservationStates.cpp           | 14 ++++++++++++++
 src/storm-pomdp/analysis/UniqueObservationStates.h | 14 ++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 src/storm-pomdp/analysis/UniqueObservationStates.cpp
 create mode 100644 src/storm-pomdp/analysis/UniqueObservationStates.h

diff --git a/src/storm-pomdp/analysis/UniqueObservationStates.cpp b/src/storm-pomdp/analysis/UniqueObservationStates.cpp
new file mode 100644
index 000000000..7c0ff28af
--- /dev/null
+++ b/src/storm-pomdp/analysis/UniqueObservationStates.cpp
@@ -0,0 +1,14 @@
+#include "storm-pomdp/analysis/UniqueObservationStates.h"
+
+namespace storm {
+    namespace analysis {
+
+        typename <ValueType>
+        storm::storage::BitVector UniqueObservationStates<ValueType>::analyse() const {
+
+        }
+
+
+        
+    }
+}
\ No newline at end of file
diff --git a/src/storm-pomdp/analysis/UniqueObservationStates.h b/src/storm-pomdp/analysis/UniqueObservationStates.h
new file mode 100644
index 000000000..b16190fb4
--- /dev/null
+++ b/src/storm-pomdp/analysis/UniqueObservationStates.h
@@ -0,0 +1,14 @@
+#include "storm/models/sparse/Pomdp.h"
+
+namespace storm {
+    namespace analysis {
+        template<typename ValueType>
+        class UniqueObservationStates {
+            UniqueObservationStates(storm::models::sparse::Pomdp<ValueType> const& pomdp);
+            storm::storage::BitVector analyse() const;
+
+            storm::models::sparse::Pomdp<ValueType> const& pomdp;
+        };
+    }
+}
+