From d81f4ca5a823c9e6ef57d16238dbf09d55bb3a8f Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 18 Jul 2016 19:43:39 +0200
Subject: [PATCH] Code around features that are not available.

Former-commit-id: 45a0752daad271ad04f013773c4a13ed859ccb97
---
 src/storage/dd/sylvan/InternalSylvanAdd.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
index 25320babd..9b6303f54 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
@@ -187,12 +187,22 @@ namespace storm {
         InternalBdd<DdType::Sylvan> InternalAdd<DdType::Sylvan, ValueType>::greater(ValueType const& value) const {
             return InternalBdd<DdType::Sylvan>(ddManager, this->sylvanMtbdd.BddStrictThreshold(value));
         }
+
+		template<>
+		InternalBdd<DdType::Sylvan> InternalAdd<DdType::Sylvan, storm::RationalFunction>::greater(storm::RationalFunction const& value) const {
+			STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "Not yet implemented.");
+		}
         
         template<typename ValueType>
         InternalBdd<DdType::Sylvan> InternalAdd<DdType::Sylvan, ValueType>::greaterOrEqual(ValueType const& value) const {
             return InternalBdd<DdType::Sylvan>(ddManager, this->sylvanMtbdd.BddThreshold(value));
         }
         
+		template<>
+		InternalBdd<DdType::Sylvan> InternalAdd<DdType::Sylvan, storm::RationalFunction>::greaterOrEqual(storm::RationalFunction const& value) const {
+			STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "Not yet implemented.");
+		}
+
         template<typename ValueType>
         InternalBdd<DdType::Sylvan> InternalAdd<DdType::Sylvan, ValueType>::less(ValueType const& value) const {
             return !this->greaterOrEqual(value);