From ec35868634485cc3e8618860f0cf814b4b77ca07 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Tue, 22 Dec 2020 17:05:05 +0100
Subject: [PATCH] set optdir overrides from multiplier env

---
 .../helper/infinitehorizon/internal/LraViHelper.cpp           | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
index 583468754..97eb9a551 100644
--- a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
+++ b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
@@ -14,6 +14,7 @@
 #include "storm/environment/solver/SolverEnvironment.h"
 #include "storm/environment/solver/LongRunAverageSolverEnvironment.h"
 #include "storm/environment/solver/MinMaxSolverEnvironment.h"
+#include "storm/environment/solver/MultiplierEnvironment.h"
 
 
 #include "storm/exceptions/UnmetRequirementException.h"
@@ -306,6 +307,9 @@ 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>