From 7b43e79ff5c7af5ff828d4002d24ce8814d61501 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 26 Jun 2018 10:21:48 +0200
Subject: [PATCH] adding missing template instantiation

---
 .../DetSchedsWeightVectorChecker.cpp                   | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
index 28296037a..0e0ddf2b4 100644
--- a/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
@@ -1,5 +1,10 @@
 #include "storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.h"
 
+#include "storm/adapters/RationalNumberAdapter.h"
+#include "storm/models/sparse/Mdp.h"
+#include "storm/models/sparse/MarkovAutomaton.h"
+#include "storm/models/sparse/StandardRewardModel.h"
+
 namespace storm {
     namespace modelchecker {
         namespace multiobjective {
@@ -74,6 +79,11 @@ namespace storm {
                 return schedulerEvaluator->getScheduler();
             }
             
+            template class DetSchedsWeightVectorChecker<storm::models::sparse::Mdp<double>>;
+            template class DetSchedsWeightVectorChecker<storm::models::sparse::Mdp<storm::RationalNumber>>;
+            template class DetSchedsWeightVectorChecker<storm::models::sparse::MarkovAutomaton<double>>;
+            template class DetSchedsWeightVectorChecker<storm::models::sparse::MarkovAutomaton<storm::RationalNumber>>;
+
             
         }
     }