From 0b3945ca123b3f94590d7588ab753c90239052f9 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 20 Mar 2020 12:38:26 +0100
Subject: [PATCH] Pomdp/FormulaInformation: Added template instantiations which
 apparently are needed with LTO

---
 src/storm-pomdp/analysis/FormulaInformation.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm-pomdp/analysis/FormulaInformation.cpp b/src/storm-pomdp/analysis/FormulaInformation.cpp
index 8bb00450c..d648c6ee8 100644
--- a/src/storm-pomdp/analysis/FormulaInformation.cpp
+++ b/src/storm-pomdp/analysis/FormulaInformation.cpp
@@ -169,7 +169,11 @@ namespace storm {
                 return FormulaInformation();
             }
             
+            template void FormulaInformation::updateTargetStates<storm::models::sparse::Pomdp<double>>(storm::models::sparse::Pomdp<double> const& pomdp, storm::storage::BitVector&& newTargetStates);
+            template void FormulaInformation::updateSinkStates<storm::models::sparse::Pomdp<double>>(storm::models::sparse::Pomdp<double> const& pomdp, storm::storage::BitVector&& newSinkStates);
             template FormulaInformation getFormulaInformation<storm::models::sparse::Pomdp<double>>(storm::models::sparse::Pomdp<double> const& pomdp, storm::logic::Formula const& formula);
+            template void FormulaInformation::updateTargetStates<storm::models::sparse::Pomdp<storm::RationalNumber>>(storm::models::sparse::Pomdp<storm::RationalNumber> const& pomdp, storm::storage::BitVector&& newTargetStates);
+            template void FormulaInformation::updateSinkStates<storm::models::sparse::Pomdp<storm::RationalNumber>>(storm::models::sparse::Pomdp<storm::RationalNumber> const& pomdp, storm::storage::BitVector&& newSinkStates);
             template FormulaInformation getFormulaInformation<storm::models::sparse::Pomdp<storm::RationalNumber>>(storm::models::sparse::Pomdp<storm::RationalNumber> const& pomdp, storm::logic::Formula const& formula);
             
         }