From 3eb2f0efcc57959f8ca51c7d5aeccfe40672ffee Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 18 Dec 2012 01:24:36 +0000 Subject: [PATCH] Add -lp switch as alternative for -linprog. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6229 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 7e2d49b6..c5d3c3ca 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -809,7 +809,7 @@ public class PrismSettings implements Observer set(PRISM_MDP_SOLN_METHOD, "Value iteration"); } else if (sw.equals("politer")) { set(PRISM_MDP_SOLN_METHOD, "Policy iteration"); - } else if (sw.equals("linprog")) { + } else if (sw.equals("linprog") || sw.equals("lp")) { set(PRISM_MDP_SOLN_METHOD, "Linear programming"); } // Linear equation solver over-relaxation parameter @@ -1141,7 +1141,7 @@ public class PrismSettings implements Observer 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("-linprog ....................... Use LP solver for solving MDPs"); + mainLog.println("-linprog (or -lp) .............. Use LP solver 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");