From 7f5f6eeee0d8d2eb5bc5ea56a75f627ac58da3e2 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Tue, 28 Sep 2021 18:30:43 +0200 Subject: [PATCH] adapted to changes for Multiplier::reduce --- src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp | 2 +- src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp index 461435816..68951bf1b 100644 --- a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp +++ b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp @@ -146,7 +146,7 @@ namespace storm { if(goal.isShieldingTask()) { multiplier->multiply(env, result, nullptr, choiceValues); - multiplier->reduce(env, goal.direction(), choiceValues, transitionMatrix.getRowGroupIndices(), result, nullptr); + multiplier->reduce(env, goal.direction(), transitionMatrix.getRowGroupIndices(), choiceValues, result); } else { multiplier->multiplyAndReduce(env, dir, result, nullptr, result); diff --git a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp index bc18f35ff..31ddac9da 100644 --- a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp +++ b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp @@ -112,7 +112,7 @@ namespace storm { auto multiplier = storm::solver::MultiplierFactory().create(env, transitionMatrix); auto rowGroupIndices = transitionMatrix.getRowGroupIndices(); rowGroupIndices.erase(rowGroupIndices.begin()); - multiplier->reduce(env, goal.direction(), b, rowGroupIndices, result, &statesOfCoalition); + multiplier->reduce(env, goal.direction(), rowGroupIndices, b, result, nullptr, &statesOfCoalition); if (goal.isShieldingTask()) { choiceValues = b; }