Fixes.

Former-commit-id: 267bf081c4

src/storage/dd/sylvan/InternalSylvanAdd.cpp

@@ -607,6 +607,13 @@ namespace storm {
             return mtbdd_int64(value);
         }
 
+		template<typename ValueType>
+		MTBDD InternalAdd<DdType::Sylvan, ValueType>::getLeaf(storm::RationalFunction const& value) {
+			storm_rational_function_ptr_struct helperStruct;
+			helperStruct.storm_rational_function = static_cast<void*>(&value);
+			return sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), helperStruct);
+		}
+        
         template<typename ValueType>
         ValueType InternalAdd<DdType::Sylvan, ValueType>::getValue(MTBDD const& node) {
             STORM_LOG_ASSERT(mtbdd_isleaf(node), "Expected leaf, but got variable " << mtbdd_getvar(node) << ".");

src/storage/dd/sylvan/InternalSylvanAdd.h

@@ -13,6 +13,8 @@
 
 #include "src/storage/expressions/Variable.h"
 
+#include "src/adapters/CarlAdapter.h"
+
 namespace storm {
     namespace storage {
         template<typename T>
@@ -656,6 +658,13 @@ namespace storm {
              */
             static MTBDD getLeaf(uint_fast64_t value);
 
+			/*!
+			* Retrieves the sylvan representation of the given storm::RatíonalFunction value.
+			*
+			* @return The sylvan node for the given value.
+			*/
+			static MTBDD getLeaf(storm::RationalFunction const& value);
+            
             /*!
              * Retrieves the value of the given node (that must be a leaf).
              *

src/storage/dd/sylvan/InternalSylvanDdManager.h

@@ -9,6 +9,12 @@
 
 #include "src/adapters/CarlAdapter.h"
 
+#include "storm-config.h"
+// TODO: Remove this later on.
+#ifndef STORM_HAVE_CARL
+#define STORM_HAVE_CARL 1
+#endif
+
 namespace storm {
     namespace dd {
         template<DdType LibraryType, typename ValueType>