From be0eee21dba3dd0f6cd6b4d84d296faa7012b0eb Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 Sep 2015 12:44:10 +0200
Subject: [PATCH] Dont build so many models with float/rational functions

Former-commit-id: 692ab47afa67579455a0920710573787a1be76fd
---
 src/models/sparse/Ctmc.cpp                    | 6 +++---
 src/models/sparse/MarkovAutomaton.cpp         | 8 ++++----
 src/models/sparse/StochasticTwoPlayerGame.cpp | 8 ++++----
 3 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/src/models/sparse/Ctmc.cpp b/src/models/sparse/Ctmc.cpp
index 371d48270..9f4ddfcd6 100644
--- a/src/models/sparse/Ctmc.cpp
+++ b/src/models/sparse/Ctmc.cpp
@@ -40,9 +40,9 @@ namespace storm {
             
             template class Ctmc<double>;
 
-#ifdef STORM_HAVE_CARL
-            template class Ctmc<storm::RationalFunction>;
-#endif
+//#ifdef STORM_HAVE_CARL
+//            template class Ctmc<storm::RationalFunction>;
+//#endif
             
         } // namespace sparse
     } // namespace models
diff --git a/src/models/sparse/MarkovAutomaton.cpp b/src/models/sparse/MarkovAutomaton.cpp
index 03b9341f2..b04c294f7 100644
--- a/src/models/sparse/MarkovAutomaton.cpp
+++ b/src/models/sparse/MarkovAutomaton.cpp
@@ -218,11 +218,11 @@ namespace storm {
             }
             
             template class MarkovAutomaton<double>;
-            template class MarkovAutomaton<float>;
+//            template class MarkovAutomaton<float>;
             
-#ifdef STORM_HAVE_CARL
-            template class MarkovAutomaton<storm::RationalFunction>;
-#endif
+//#ifdef STORM_HAVE_CARL
+//            template class MarkovAutomaton<storm::RationalFunction>;
+//#endif
 
         } // namespace sparse
     } // namespace models
diff --git a/src/models/sparse/StochasticTwoPlayerGame.cpp b/src/models/sparse/StochasticTwoPlayerGame.cpp
index 132410720..ecbb204c5 100644
--- a/src/models/sparse/StochasticTwoPlayerGame.cpp
+++ b/src/models/sparse/StochasticTwoPlayerGame.cpp
@@ -32,11 +32,11 @@ namespace storm {
             }
             
             template class StochasticTwoPlayerGame<double>;
-            template class StochasticTwoPlayerGame<float>;
+//            template class StochasticTwoPlayerGame<float>;
             
-#ifdef STORM_HAVE_CARL
-            template class StochasticTwoPlayerGame<storm::RationalFunction>;
-#endif
+//#ifdef STORM_HAVE_CARL
+//            template class StochasticTwoPlayerGame<storm::RationalFunction>;
+//#endif
             
         } // namespace sparse
     } // namespace models