From 13862b1dbdad02816d90157fdaf6ae146f7ec811 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 18 Dec 2012 01:27:47 +0000 Subject: [PATCH] Tweak -help text. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6230 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index c5d3c3ca..e191b58f 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -1141,7 +1141,6 @@ 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 (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"); @@ -1166,6 +1165,7 @@ public class PrismSettings implements Observer mainLog.println("-exportadvmdp ........... Export an adversary from MDP model checking (as an MDP)"); mainLog.println(); mainLog.println("MULTI-OBJECTIVE MODEL CHECKING:"); + mainLog.println("-linprog (or -lp) .............. Use linear programming for multi-objective model checking"); mainLog.println("-multimaxpoints ............ Maximal number of corner points for (valiter-based) multi-objective"); mainLog.println("-paretoepsilon ............. Threshold for Pareto curve approximation"); mainLog.println("-exportpareto ........... When computing Pareto curves, export points to a file");