From 7807c8a143be1653824c6ca7c43f7e26b4192cae Mon Sep 17 00:00:00 2001
From: Lukas Posch <lukas.posch@student.tugraz.at>
Date: Mon, 15 Feb 2021 20:16:06 +0100
Subject: [PATCH] changed variable names to camelCase

---
 .../rpatl/helper/internal/GameViHelper.cpp         | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
index bff9bc052..8c354d945 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
@@ -136,18 +136,18 @@ namespace storm {
                 template <typename ValueType>
                 void GameViHelper<ValueType>::fillResultVector(std::vector<ValueType>& result, storm::storage::BitVector relevantStates, storm::storage::BitVector psiStates)
                 {
-                    std::vector<ValueType> filled_vector = std::vector<ValueType>(relevantStates.size(), storm::utility::zero<ValueType>());
-                    uint bit_index = 0;
-                    for(uint i = 0; i < filled_vector.size(); i++) {
+                    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 (relevantStates.get(i)) {
-                            filled_vector.at(i) = result.at(bit_index);
-                            bit_index++;
+                            filledVector.at(i) = result.at(bitIndex);
+                            bitIndex++;
                         }
                         else if (psiStates.get(i)) {
-                            filled_vector.at(i) = 1;
+                            filledVector.at(i) = 1;
                         }
                     }
-                    result = filled_vector;
+                    result = filledVector;
                 }
 
                 template <typename ValueType>