added sparse MC templates for SMGs

src/storm/modelchecker/propositional/SparsePropositionalModelChecker.cpp

@@ -8,6 +8,7 @@
 #include "storm/models/sparse/Pomdp.h"
 #include "storm/models/sparse/MarkovAutomaton.h"
 #include "storm/models/sparse/StandardRewardModel.h"
+#include "storm/models/sparse/Smg.h"
 
 #include "storm/modelchecker/results/ExplicitQualitativeCheckResult.h"
 
@@ -58,9 +59,11 @@ namespace storm {
         template class SparsePropositionalModelChecker<storm::models::sparse::Mdp<double>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::Pomdp<double>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::MarkovAutomaton<double>>;
+        template class SparsePropositionalModelChecker<storm::models::sparse::Smg<double>>;
 
 #ifdef STORM_HAVE_CARL
         template class SparsePropositionalModelChecker<storm::models::sparse::Mdp<double, storm::models::sparse::StandardRewardModel<storm::Interval>>>;
+        template class SparsePropositionalModelChecker<storm::models::sparse::Smg<double, storm::models::sparse::StandardRewardModel<storm::Interval>>>;
 
         template class SparsePropositionalModelChecker<storm::models::sparse::Model<storm::RationalNumber>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::Dtmc<storm::RationalNumber>>;
@@ -68,12 +71,14 @@ namespace storm {
         template class SparsePropositionalModelChecker<storm::models::sparse::Mdp<storm::RationalNumber>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::Pomdp<storm::RationalNumber>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::MarkovAutomaton<storm::RationalNumber>>;
+        template class SparsePropositionalModelChecker<storm::models::sparse::Smg<storm::RationalNumber>>;
 
         template class SparsePropositionalModelChecker<storm::models::sparse::Model<storm::RationalFunction>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::Dtmc<storm::RationalFunction>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::Ctmc<storm::RationalFunction>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::Mdp<storm::RationalFunction>>;
         template class SparsePropositionalModelChecker<storm::models::sparse::MarkovAutomaton<storm::RationalFunction>>;
+        template class SparsePropositionalModelChecker<storm::models::sparse::Smg<storm::RationalFunction>>;
 #endif
     }
 }