From 6289788a6876907ac648e20263da01d79ee4223e Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Wed, 4 Aug 2021 15:35:36 +0200
Subject: [PATCH] small changes to fit to the GameViHelper.*

---
 .../rpatl/helper/internal/BoundedGloballyGameViHelper.cpp   | 6 +++---
 .../rpatl/helper/internal/BoundedGloballyGameViHelper.h     | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.cpp b/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.cpp
index 33bb6dfe2..6742476ef 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.cpp
@@ -60,12 +60,12 @@ namespace storm {
                 }
 
                 template <typename ValueType>
-                void BoundedGloballyGameViHelper<ValueType>::fillResultVector(std::vector<ValueType>& result, storm::storage::BitVector psiStates)
+                void BoundedGloballyGameViHelper<ValueType>::fillResultVector(std::vector<ValueType>& result, storm::storage::BitVector relevantStates)
                 {
-                    std::vector<ValueType> filledVector = std::vector<ValueType>(psiStates.size(), storm::utility::zero<ValueType>());
+                    std::vector<ValueType> filledVector = std::vector<ValueType>(relevantStates.size(), storm::utility::zero<ValueType>());
                     uint bitIndex = 0;
                     for(uint i = 0; i < filledVector.size(); i++) {
-                        if (psiStates.get(i)) {
+                        if (relevantStates.get(i)) {
                             filledVector.at(i) = result.at(bitIndex);
                             bitIndex++;
                         }
diff --git a/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.h b/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.h
index 78d499265..8dcb8e848 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.h
+++ b/src/storm/modelchecker/rpatl/helper/internal/BoundedGloballyGameViHelper.h
@@ -26,9 +26,9 @@ namespace storm {
                     void performValueIteration(Environment const& env, std::vector<ValueType>& x, storm::solver::OptimizationDirection const dir, uint64_t upperBound, std::vector<ValueType>& constrainedChoiceValues);
 
                     /*!
-                     * Fills the result vector to the original size with ones for being psiStates, zeros for being not phiStates
+                     * Fills the result vector to the original size with zeros for all states except the relevantStates
                      */
-                    void fillResultVector(std::vector<ValueType>& result, storm::storage::BitVector psiStates);
+                    void fillResultVector(std::vector<ValueType>& result, storm::storage::BitVector relevantStates);
 
                     /*!
                      * Fills the choice values vector to the original size with zeros for ~psiState choices.