diff --git a/src/storm/api/builder.h b/src/storm/api/builder.h index fbe838c5d..262be870c 100644 --- a/src/storm/api/builder.h +++ b/src/storm/api/builder.h @@ -12,6 +12,7 @@ #include "storm/models/sparse/Ctmc.h" #include "storm/models/sparse/Mdp.h" #include "storm/models/sparse/Pomdp.h" +#include "storm/models/sparse/Smg.h" #include "storm/models/sparse/MarkovAutomaton.h" #include "storm/models/sparse/StochasticTwoPlayerGame.h" #include "storm/models/sparse/StandardRewardModel.h" @@ -141,6 +142,8 @@ namespace storm { return std::make_shared>(std::move(components)); case storm::models::ModelType::S2pg: return std::make_shared>(std::move(components)); + case storm::models::ModelType::Smg: + return std::make_shared>(std::move(components)); } }