diff --git a/src/storm/storage/SymbolicModelDescription.cpp b/src/storm/storage/SymbolicModelDescription.cpp index 9a7bc1388..243cb8372 100644 --- a/src/storm/storage/SymbolicModelDescription.cpp +++ b/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."); diff --git a/src/storm/storage/SymbolicModelDescription.h b/src/storm/storage/SymbolicModelDescription.h index a22e3afd6..fb1f0e2ac 100644 --- a/src/storm/storage/SymbolicModelDescription.h +++ b/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;