From 6598ade4ac868f6910233da256764ff4ad3bd2b1 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 3 May 2017 00:31:55 +0200 Subject: [PATCH] fix for getting the choices with zero reward --- src/storm/models/sparse/StandardRewardModel.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/models/sparse/StandardRewardModel.cpp b/src/storm/models/sparse/StandardRewardModel.cpp index 78ef3b5ee..c579b236f 100644 --- a/src/storm/models/sparse/StandardRewardModel.cpp +++ b/src/storm/models/sparse/StandardRewardModel.cpp @@ -266,11 +266,11 @@ namespace storm { if (this->hasStateActionRewards()) { result = storm::utility::vector::filterZero(this->getStateActionRewardVector()); if (this->hasStateRewards()) { - result &= transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateActionRewardVector())); + result &= transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateRewardVector())); } } else { if (this->hasStateRewards()) { - result = transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateActionRewardVector())); + result = transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateRewardVector())); } else { result = storm::storage::BitVector(transitionMatrix.getRowCount(), true); }