Bugfix for storm::utility::vector::reduceVector to correctly compute which choices were taken to achieve extremal values.

Former-commit-id: c200835cf5
11 years ago · 5bb76eb12e
1 changed files with 2 additions and 2 deletions
--- a/src/utility/vector.h
+++ b/src/utility/vector.h
@ -237,7 +237,7 @@ namespace storm {
                                      for (; targetIt != targetIte; ++targetIt, ++rowGroupingIt) {
                                          *targetIt = *sourceIt;
                                          ++sourceIt;
-                                          localChoice = 0;
+                                          localChoice = 1;
                                          if (choices != nullptr) {
                                              *choiceIt = 0;
                                          }
@ -271,7 +271,7 @@ namespace storm {
                for (; targetIt != targetIte; ++targetIt, ++rowGroupingIt) {
                    *targetIt = *sourceIt;
                    ++sourceIt;
-                    localChoice = 0;
+                    localChoice = 1;
                    if (choices != nullptr) {
                        *choiceIt = 0;
                    }