From f86fc8ace68acacb4d0c60ef30df737c041a14ca Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 23 Jul 2017 00:09:58 +0000 Subject: [PATCH] Tweak -help output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12158 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 7b231d55..bdc1b9be 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -1714,15 +1714,15 @@ public class PrismSettings implements Observer mainLog.println("-gaussseidel (or -gs) .......... Use Gauss-Seidel value iteration for solving MDPs"); mainLog.println("-politer ....................... Use policy iteration for solving MDPs"); mainLog.println("-modpoliter .................... Use modified policy iteration for solving MDPs"); + mainLog.println("-intervaliter (or -ii) ......... Use interval iteration to solve MDPs/MCs (see -help -ii)"); + mainLog.println("-topological ................... Use topological value iteration"); mainLog.println(); mainLog.println("SOLUTION METHOD SETTINGS"); mainLog.println("-relative (or -rel) ............ Use relative error for detecting convergence [default]"); mainLog.println("-absolute (or -abs) ............ Use absolute error for detecting convergence"); mainLog.println("-epsilon (or -e ) ....... Set value of epsilon (for convergence check) [default: 1e-6]"); mainLog.println("-maxiters .................. Set max number of iterations [default: 10000]"); - mainLog.println("-topological ................... Perform topological iterations (only explicit engine"); - mainLog.println("-intervaliter (or -ii) ......... Perform interval iteration (for options see -help -ii)"); - + mainLog.println(); mainLog.println("MODEL CHECKING OPTIONS:"); mainLog.println("-nopre ......................... Skip precomputation algorithms (where optional)");