switch cases in engine now feature SMG case

src/storm/utility/Engine.cpp

@@ -123,6 +123,7 @@ namespace storm {
                         case ModelType::MA:
                             return storm::modelchecker::SparseMarkovAutomatonCslModelChecker<storm::models::sparse::MarkovAutomaton<ValueType>>::canHandleStatic(checkTask);
                         case ModelType::POMDP:
+                        case ModelType::SMG:
                             return false;
                     }
                     break;
@@ -137,6 +138,7 @@ namespace storm {
                         case ModelType::MA:
                             return storm::modelchecker::HybridMarkovAutomatonCslModelChecker<storm::models::symbolic::MarkovAutomaton<ddType, ValueType>>::canHandleStatic(checkTask);
                         case ModelType::POMDP:
+                        case ModelType::SMG:
                             return false;
                     }
                     break;
@@ -149,6 +151,7 @@ namespace storm {
                         case ModelType::CTMC:
                         case ModelType::MA:
                         case ModelType::POMDP:
+                        case ModelType::SMG:
                             return false;
                     }
                     break;
@@ -177,6 +180,7 @@ namespace storm {
                         case ModelType::MDP:
                         case ModelType::MA:
                         case ModelType::POMDP:
+                        case ModelType::SMG:
                             return false;
                     }
                     break;
@@ -189,6 +193,7 @@ namespace storm {
                         case ModelType::MDP:
                         case ModelType::MA:
                         case ModelType::POMDP:
+                        case ModelType::SMG:
                             return false;
                     }
                     break;
@@ -200,6 +205,7 @@ namespace storm {
                         case ModelType::CTMC:
                         case ModelType::MA:
                         case ModelType::POMDP:
+                        case ModelType::SMG:
                             return false;
                     }
                     break;