From 7c31774678b9caccceb3c077209537b3b9c44706 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Fri, 29 Jan 2021 19:19:20 +0100
Subject: [PATCH] removed residual function calls

---
 .../helper/infinitehorizon/internal/LraViHelper.cpp          | 3 ---
 .../modelchecker/rpatl/helper/internal/GameViHelper.cpp      | 1 -
 src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp     | 5 -----
 3 files changed, 9 deletions(-)

diff --git a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
index 239817adc..28ace1d81 100644
--- a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
+++ b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
@@ -332,9 +332,6 @@ namespace storm {
                         _TsToIsMultiplier = storm::solver::MultiplierFactory<ValueType>().create(env, _TsToIsTransitions);
                         _IsToTsMultiplier = storm::solver::MultiplierFactory<ValueType>().create(env, _IsToTsTransitions);
                     }
-                    if(env.solver().multiplier().getOptimizationDirectionOverride().is_initialized()) {
-                        _TsMultiplier->setOptimizationDirectionOverride(env.solver().multiplier().getOptimizationDirectionOverride().get());
-                    }
                 }
 
                 template <typename ValueType, typename ComponentType, LraViTransitionsType TransitionsType>
diff --git a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
index 4f6fc1e4e..5c9cab92e 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
@@ -26,7 +26,6 @@ namespace storm {
                     // -> compute b vector from psiStates
                     // -> clip transitionmatrix and create multiplier
                     _multiplier = storm::solver::MultiplierFactory<ValueType>().create(env, _transitionMatrix);
-                    _multiplier->setOptimizationDirectionOverride(_statesOfCoalition);
 
                     _x1IsCurrent = false;
                 }
diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
index 09bd57726..dbc5e634d 100644
--- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
@@ -415,11 +415,6 @@ namespace storm {
                 this->multiplierA = storm::solver::MultiplierFactory<ValueType>().create(env, *this->A);
             }
 
-            // TODO cleanup
-            if(env.solver().multiplier().getOptimizationDirectionOverride().is_initialized()) {
-                multiplierA->setOptimizationDirectionOverride(env.solver().multiplier().getOptimizationDirectionOverride().get());
-            }
-
             if (!auxiliaryRowGroupVector) {
                 auxiliaryRowGroupVector = std::make_unique<std::vector<ValueType>>(this->A->getRowGroupCount());
             }