From e2b5d6fcb120f66166623a89a1cb1d58bc0fa448 Mon Sep 17 00:00:00 2001 From: dehnert Date: Mon, 10 Sep 2018 14:03:46 +0200 Subject: [PATCH] automatically switching to Eigen as default when using exact mode --- src/storm/solver/LinearEquationSolver.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/storm/solver/LinearEquationSolver.cpp b/src/storm/solver/LinearEquationSolver.cpp index 44eb42db0..14cda16bc 100644 --- a/src/storm/solver/LinearEquationSolver.cpp +++ b/src/storm/solver/LinearEquationSolver.cpp @@ -88,9 +88,9 @@ namespace storm { EquationSolverType type = env.solver().getLinearEquationSolverType(); // Adjust the solver type if it is not supported by this value type - if (type == EquationSolverType::Gmmxx) { - type = EquationSolverType::Eigen; - STORM_LOG_INFO("Selecting '" + toString(type) + "' as the linear equation solver since the selected one does not support exact computations."); + if (type != EquationSolverType::Eigen && type != EquationSolverType::Topological && (env.solver().isLinearEquationSolverTypeSetFromDefaultValue() || type == EquationSolverType::Gmmxx)) { + STORM_LOG_INFO("Selecting '" + toString(EquationSolverType::Eigen) + "' as the linear equation solver since the previously selected one (" << toString(type) << ") does not support exact computations."); + type = EquationSolverType::Eigen; } switch (type) { @@ -110,8 +110,8 @@ namespace storm { // Adjust the solver type if it is not supported by this value type if (type == EquationSolverType::Gmmxx || type == EquationSolverType::Native) { + STORM_LOG_INFO("Selecting '" + toString(EquationSolverType::Eigen) + "' as the linear equation solver since the previously selected one (" << toString(type) << ") does not support parametric computations."); type = EquationSolverType::Eigen; - STORM_LOG_INFO("Selecting '" + toString(type) + "' as the linear equation solver since the selected one does not support parametric computations."); } switch (type) {