From d2c78d948dff62c9dfc610baf34cd191c2d03624 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 9 May 2012 11:19:03 +0000 Subject: [PATCH] Add -politer switch git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5172 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index e534d22d..770a3bce 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -795,6 +795,8 @@ public class PrismSettings implements Observer set(PRISM_LIN_EQ_METHOD, "Backwards Pseudo-SOR"); } else if (sw.equals("valiter")) { set(PRISM_MDP_SOLN_METHOD, "Value iteration"); + } else if (sw.equals("politer")) { + set(PRISM_MDP_SOLN_METHOD, "Policy iteration"); } // Linear equation solver over-relaxation parameter else if (sw.equals("omega")) { @@ -1082,6 +1084,8 @@ public class PrismSettings implements Observer mainLog.println("-bsor .......................... Use Backwards SOR for numerical computation"); mainLog.println("-psor .......................... Use Pseudo SOR for numerical computation"); mainLog.println("-bpsor ......................... Use Backwards Pseudo SOR for numerical computation"); + mainLog.println("-valiter ....................... Use value iteration for solving MDPs [default]"); + mainLog.println("-politer ....................... Use policy iteration for solving MDPs"); mainLog.println("-omega ..................... Set over-relaxation parameter (for JOR/SOR/...) [default: 0.9]"); mainLog.println("-relative (or -rel) ............ Use relative error for detecting convergence [default]"); mainLog.println("-absolute (or -abs) ............ Use absolute error for detecting convergence");