removed residual function calls

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>

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;
                 }

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());
             }