svi now considers bounds by default

src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp

@@ -264,13 +264,10 @@ namespace storm {
                 if (!this->hasUniqueSolution()) {
                     requirements.requireNoEndComponents();
                 }
+                requirements.requireBounds(false);
             } else {
                 STORM_LOG_THROW(false, storm::exceptions::InvalidEnvironmentException, "Unsupported technique for iterative MinMax linear equation solver.");
             }
-        
-            if (env.solver().minMax().isForceBoundsSet()) {
-                requirements.requireBounds();
-            }
             return requirements;
         }
 

src/storm/solver/NativeLinearEquationSolver.cpp

@@ -957,14 +957,13 @@ namespace storm {
         template<typename ValueType>
         LinearEquationSolverRequirements NativeLinearEquationSolver<ValueType>::getRequirements(Environment const& env) const {
             LinearEquationSolverRequirements requirements;
-            if (env.solver().native().isForceBoundsSet()) {
-                requirements.requireBounds();
-            }
             auto method = getMethod(env, storm::NumberTraits<ValueType>::IsExact);
             if (method == NativeLinearEquationSolverMethod::IntervalIteration) {
                 requirements.requireBounds();
             } else if (method == NativeLinearEquationSolverMethod::RationalSearch) {
                 requirements.requireLowerBounds();
+            } else if (method == NativeLinearEquationSolverMethod::SoundValueIteration) {
+                requirements.requireBounds(false);
             }
             return requirements;
         }