removed unused template instantiations

5 years ago · d1a39e48fe
2 changed files with 0 additions and 6 deletions
--- a/src/storm/shields/AbstractShield.cpp
+++ b/src/storm/shields/AbstractShield.cpp
@ -21,9 +21,6 @@ namespace tempest {

        // Explicitly instantiate appropriate
        template class AbstractShield<double, typename storm::storage::SparseMatrix<double>::index_type>;
-        template class AbstractShield<float, typename storm::storage::SparseMatrix<float>::index_type>;
-        template class AbstractShield<int, typename storm::storage::SparseMatrix<int>::index_type>;
-        template class AbstractShield<storm::storage::sparse::state_type, typename storm::storage::SparseMatrix<storm::storage::sparse::state_type>::index_type>;
 #ifdef STORM_HAVE_CARL
        template class AbstractShield<storm::RationalNumber, typename storm::storage::SparseMatrix<storm::RationalNumber>::index_type>;
 #endif
--- a/src/storm/shields/PreSafetyShield.cpp
+++ b/src/storm/shields/PreSafetyShield.cpp
@ -20,9 +20,6 @@ namespace tempest {
        }
        // Explicitly instantiate appropriate
        template class PreSafetyShield<double, typename storm::storage::SparseMatrix<double>::index_type>;
-        template class PreSafetyShield<float, typename storm::storage::SparseMatrix<float>::index_type>;
-        template class PreSafetyShield<int, typename storm::storage::SparseMatrix<int>::index_type>;
-        template class PreSafetyShield<storm::storage::sparse::state_type, typename storm::storage::SparseMatrix<storm::storage::sparse::state_type>::index_type>;
 #ifdef STORM_HAVE_CARL
        template class PreSafetyShield<storm::RationalNumber, typename storm::storage::SparseMatrix<storm::RationalNumber>::index_type>;
 #endif