Added missing treatment of SMGs in API method.

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<storm::models::sparse::Pomdp<ValueType, RewardModelType>>(std::move(components));
                 case storm::models::ModelType::S2pg:
                     return std::make_shared<storm::models::sparse::StochasticTwoPlayerGame<ValueType, RewardModelType>>(std::move(components));
+                case storm::models::ModelType::Smg:
+                    return std::make_shared<storm::models::sparse::Smg<ValueType, RewardModelType>>(std::move(components));
             }
 
         }