From 44be19f274d4d156b07b3fe3c8aeefdf56ea9504 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Jan 2021 15:44:49 +0100
Subject: [PATCH] Added missing treatment of SMGs in API method.

---
 src/storm/api/builder.h | 3 +++
 1 file changed, 3 insertions(+)

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<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));
             }
 
         }