intermediate commit

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 {
+
+        }
+
+
+        
+    }
+}

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;
+        };
+    }
+}
+