From f4615614c1d0c1c76352819015022a20325c7db8 Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Wed, 4 Aug 2021 15:38:48 +0200
Subject: [PATCH] use GameViHelper instead of BoundedGloballyGameViHelper

---
 .../modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp      | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
index d4e06bbde..40e1c47e9 100644
--- a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
@@ -132,16 +132,16 @@ namespace storm {
                 clippedStatesOfCoalition.complement();
 
                 // Use the bounded globally game vi helper.
-                storm::modelchecker::helper::internal::BoundedGloballyGameViHelper<ValueType> viHelper(transitionMatrix, clippedStatesOfCoalition);
+                storm::modelchecker::helper::internal::GameViHelper<ValueType> viHelper(transitionMatrix, clippedStatesOfCoalition);
                 if(!relevantStates.empty() && upperBound > 0) {
                     // Reduce the matrix to relevant states.
                     storm::storage::SparseMatrix<ValueType> submatrix = transitionMatrix.getSubmatrix(true, relevantStates, relevantStates, false);
                     // Update the BoundedGloballyViHelper.
-                    storm::modelchecker::helper::internal::BoundedGloballyGameViHelper<ValueType> viHelper(submatrix, clippedStatesOfCoalition);
+                    storm::modelchecker::helper::internal::GameViHelper<ValueType> viHelper(submatrix, clippedStatesOfCoalition);
                     if (produceScheduler) {
                         viHelper.setProduceScheduler(true);
                     }
-                    viHelper.performValueIteration(env, x, goal.direction(), upperBound, constrainedChoiceValues);
+                    viHelper.performValueIterationUpperBound(env, x, goal.direction(), upperBound, constrainedChoiceValues);
                 }
 
                 viHelper.fillResultVector(x, relevantStates);