Code around features that are not available.

Former-commit-id: 45a0752daa

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);