From 1397f397094c66343fb9ab61ab5c9066903e540e Mon Sep 17 00:00:00 2001 From: Ernst Moritz Hahn Date: Thu, 16 Jan 2014 05:15:41 +0000 Subject: [PATCH] improved description of FAU in commandline and GUI git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7827 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 9c5421dc..1f69393e 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -315,7 +315,7 @@ public class PrismSettings implements Observer // FAST ADAPTIVE UNIFORMISATION { DOUBLE_TYPE, PRISM_FAU_EPSILON, "FAU epsilon", "4.1", new Double(1E-6), "", - "For fast adaptive uniformisation (FAU), states whose probability is below this value will be removed." }, + "For fast adaptive uniformisation (FAU), decides how much probability may be lost due to truncation of birth process." }, { DOUBLE_TYPE, PRISM_FAU_DELTA, "FAU cut off delta", "4.1", new Double(1E-12), "", "For fast adaptive uniformisation (FAU), states whose probability is below this value will be removed." }, { INTEGER_TYPE, PRISM_FAU_ARRAYTHRESHOLD, "FAU array threshold", "4.1", new Integer(100), "", @@ -1490,6 +1490,7 @@ public class PrismSettings implements Observer mainLog.println("-paramdagmaxerror .......... Maximal error probability allowed for DAG function representation [default: 1E-100]"); mainLog.println(); mainLog.println("FAST ADAPTIVE UNIFORMISATION (FAU) OPTIONS:"); + mainLog.println("-fauepsilon ................ Set probability threshold of birth process in FAU [default: 1e-6]"); mainLog.println("-faudelta .................. Set probability threshold for irrelevant states in FAU [default: 1e-12]"); mainLog.println("-fauarraythreshold ......... Set threshold when to switch to sparse matrix in FAU [default: 100]"); mainLog.println("-fauintervals .............. Set number of intervals to divide time intervals into for FAU [default: 1]");