From 83acce9758bee043d2e22ef20c50cd4fbd125695 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 Oct 2011 10:35:21 +0000 Subject: [PATCH] Extract MDP GS setting from -gs (to stop DTMC GS setting getting overridden in explicit engine). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4106 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 90a85658..b1d1af48 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -759,6 +759,7 @@ public class PrismSettings implements Observer set(PRISM_LIN_EQ_METHOD, "Jacobi"); } else if (sw.equals("gaussseidel") || sw.equals("gs")) { set(PRISM_LIN_EQ_METHOD, "Gauss-Seidel"); + set(PRISM_MDP_SOLN_METHOD, "Gauss-Seidel"); } else if (sw.equals("bgaussseidel") || sw.equals("bgs")) { set(PRISM_LIN_EQ_METHOD, "Backwards Gauss-Seidel"); } else if (sw.equals("pgaussseidel") || sw.equals("pgs")) {