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 + storm::storage::BitVector UniqueObservationStates::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 + class UniqueObservationStates { + UniqueObservationStates(storm::models::sparse::Pomdp const& pomdp); + storm::storage::BitVector analyse() const; + + storm::models::sparse::Pomdp const& pomdp; + }; + } +} +