From 1345f018fcf814bcf848e26497c0e7f8c5ba1816 Mon Sep 17 00:00:00 2001 From: PBerger Date: Wed, 27 Jul 2016 16:28:10 +0200 Subject: [PATCH] Fixed some issues with pointers. Former-commit-id: a7fddc12f3b06a6f7af299acc4fb61820aa12c16 --- resources/3rdparty/sylvan/src/sylvan_obj.cpp | 4 ++-- .../3rdparty/sylvan/src/sylvan_storm_rational_function.c | 2 +- src/storage/dd/sylvan/InternalSylvanAdd.cpp | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/resources/3rdparty/sylvan/src/sylvan_obj.cpp b/resources/3rdparty/sylvan/src/sylvan_obj.cpp index 068c9a57f..b7b4484fb 100644 --- a/resources/3rdparty/sylvan/src/sylvan_obj.cpp +++ b/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 diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c index 2991f322c..80aa72334 100644 --- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c +++ b/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); } diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp index 71975e7c3..51c072126 100644 --- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp +++ b/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