support for POMDPs in symoblic description

src/storm/storage/SymbolicModelDescription.cpp

@@ -63,6 +63,7 @@ namespace storm {
                     case storm::prism::Program::ModelType::DTMC: return SymbolicModelDescription::ModelType::DTMC;
                     case storm::prism::Program::ModelType::CTMC: return SymbolicModelDescription::ModelType::CTMC;
                     case storm::prism::Program::ModelType::MDP: return SymbolicModelDescription::ModelType::MDP;
+                    case storm::prism::Program::ModelType::POMDP: return SymbolicModelDescription::ModelType::POMDP;
                     case storm::prism::Program::ModelType::MA: return SymbolicModelDescription::ModelType::MA;
                     default:
                         STORM_LOG_THROW(false, storm::exceptions::InvalidTypeException, "Expected other PRISM model type.");

src/storm/storage/SymbolicModelDescription.h

@@ -11,7 +11,7 @@ namespace storm {
         class SymbolicModelDescription {
         public:
             enum class ModelType {
-                DTMC, CTMC, MDP, MA
+                DTMC, CTMC, MDP, MA, POMDP
             };
             
             SymbolicModelDescription() = default;