Fixed some issues with pointers.

Former-commit-id: a7fddc12f3

resources/3rdparty/sylvan/src/sylvan_obj.cpp

@@ -609,9 +609,9 @@ Mtbdd::doubleTerminal(double value)
 Mtbdd
 Mtbdd::stormRationalFunctionTerminal(storm::RationalFunction const& value)
 {
-	storm_rational_function_t functionStruct;
+	storm_rational_function_ptr_struct functionStruct;
 	functionStruct.storm_rational_function = (void*)(&value);
-    return mtbdd_storm_rational_function(functionStruct);
+    return mtbdd_storm_rational_function(&functionStruct);
 }
 #endif
 

resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c

@@ -90,7 +90,7 @@ uint32_t sylvan_storm_rational_function_get_type() {
 MTBDD
 mtbdd_storm_rational_function(storm_rational_function_t val)
 {
-	uint64_t terminalValue = (uint64_t)&val;
+	uint64_t terminalValue = (uint64_t)val;
 	return mtbdd_makeleaf(sylvan_storm_rational_function_type, terminalValue);
 }
 

src/storage/dd/sylvan/InternalSylvanAdd.cpp

@@ -618,7 +618,7 @@ namespace storm {
 			storm_rational_function_ptr_struct helperStruct;
 			helperStruct.storm_rational_function = (void*)(&value);
 
-			return mtbdd_storm_rational_function(helperStruct);
+			return mtbdd_storm_rational_function(&helperStruct);
 		}
         
         template<typename ValueType>