From ff749eb06ee1de23b210177eb27e000a254b3e9c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Dec 2008 15:42:02 +0000 Subject: [PATCH] Fairness descriptions in help info. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@867 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismCL.java | 4 ++-- prism/src/prism/PrismSettings.java | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 51be031a..6c84d288 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1561,8 +1561,8 @@ public class PrismCL mainLog.println("-extraddinfo ................... Display extra info about some (MT)BDDs"); mainLog.println("-extrareachinfo ................ Display extra info about progress of reachability"); mainLog.println("-nopre ......................... Skip precomputation algorithms"); - mainLog.println("-fair .......................... Use fairness (when model checking MDPs)"); - mainLog.println("-nofair ........................ Don't use fairness (when model checking MDPs) [default]"); + mainLog.println("-fair .......................... Use fairness (for probabilistic reachability in MDPs)"); + mainLog.println("-nofair ........................ Don't use fairness (for probabilistic reachability in MDPs) [default]"); mainLog.println("-fixdl ......................... Automatically put self-loops in deadlock states"); mainLog.println("-nocompact ..................... Switch off \"compact\" sparse storage schemes"); mainLog.println("-noprobchecks .................. Disable checks on model probabilities/rates"); diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 7cb4ce19..11ec78a0 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -168,7 +168,7 @@ public class PrismSettings implements Observer //==================================================================================================================================================================================================================================================================================================================================== { CHOICE_TYPE, PRISM_ENGINE, "Engine", "3.0", "Hybrid", "MTBDD,Sparse,Hybrid", "Which engine (hybrid, sparse or MTBDD) should be used for model checking." }, { BOOLEAN_TYPE, PRISM_VERBOSE, "Verbose output", "3.0", new Boolean(false), "", "Display verbose output to log." }, - { BOOLEAN_TYPE, PRISM_FAIRNESS, "Use fairness", "3.0", new Boolean(false), "", "Constrain to fair adversaries when model checking MDPs." }, + { BOOLEAN_TYPE, PRISM_FAIRNESS, "Use fairness", "3.0", new Boolean(false), "", "Constrain to fair adversaries when model checking probabilistic reachability properties of MDPs." }, { BOOLEAN_TYPE, PRISM_PRECOMPUTATION, "Use precomputation", "3.0", new Boolean(true), "", "Use model checking precomputation algorithms (Prob0, Prob1, etc.)." }, { BOOLEAN_TYPE, PRISM_DO_PROB_CHECKS, "Do probability/rate checks", "3.0", new Boolean(true), "", "Perform sanity checks on model probabilities/rates when constructing probabilistic models." }, { BOOLEAN_TYPE, PRISM_COMPACT, "Use compact schemes", "3.0", new Boolean(true), "", "Use additional optimisations for compressing sparse matrices and vectors with repeated values." },