refined warning for automatic switch to policy iteration in exact mode

src/storm/solver/MinMaxLinearEquationSolver.cpp

@@ -157,7 +157,7 @@ namespace storm {
                 bool wasSet = false;
                 auto const& minMaxSettings = storm::settings::getModule<storm::settings::modules::MinMaxEquationSolverSettings>();
                 if (std::is_same<ValueType, storm::RationalNumber>::value) {
-                    if (minMaxSettings.isMinMaxEquationSolvingMethodSetFromDefaultValue()) {
+                    if (minMaxSettings.isMinMaxEquationSolvingMethodSetFromDefaultValue() && minMaxSettings.getMinMaxEquationSolvingMethod() != MinMaxMethod::PolicyIteration) {
                         STORM_LOG_WARN("Selecting policy iteration as the solution method to guarantee exact results. If you want to override this, please explicitly specify a different method.");
                         this->setMinMaxMethod(MinMaxMethod::PolicyIteration);
                         wasSet = true;