Extend ModelType with an entry for POMDPs

src/storm/models/ModelType.cpp

@@ -17,6 +17,8 @@ namespace storm {
                 return ModelType::MarkovAutomaton;
             } else if (type == "S2PG") {
                 return ModelType::S2pg;
+            } else if (type == "Pomdp") {
+                return ModelType::Pomdp;
             } else {
                 STORM_LOG_THROW(false, storm::exceptions::InvalidTypeException, "Type " << type << "not known.");
             }
@@ -39,6 +41,9 @@ namespace storm {
                 case ModelType::S2pg:
                     os << "S2PG";
                     break;
+                case ModelType::Pomdp:
+                    os << "POMDP";
+                    break;
                 default:
                     STORM_LOG_THROW(false, storm::exceptions::InvalidTypeException, "Unknown model type.");
             }

src/storm/models/ModelType.h

@@ -7,7 +7,7 @@ namespace storm {
     namespace models {
         // All supported model types.
         enum class ModelType {
-            Dtmc, Ctmc, Mdp, MarkovAutomaton, S2pg
+            Dtmc, Ctmc, Mdp, MarkovAutomaton, S2pg, Pomdp
         };
 
         ModelType getModelType(std::string const& type);