s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Tweak in options text. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12168 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 9 years ago
parent
8f2f9a3d28
commit
c9ede762cd
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      prism/src/prism/PrismSettings.java

2
prism/src/prism/PrismSettings.java
View File

@ -249,7 +249,7 @@ public class PrismSettings implements Observer
"Use topological value iteration in iterative numerical methods."}, "Use topological value iteration in iterative numerical methods."},
{ BOOLEAN_TYPE, PRISM_PMAX_QUOTIENT, "For Pmax computations, compute in the MEC quotient", "4.3.1", false, "", { BOOLEAN_TYPE, PRISM_PMAX_QUOTIENT, "For Pmax computations, compute in the MEC quotient", "4.3.1", false, "",
"For Pmax computations, compute in the MEC quotient."}, "For Pmax computations, compute in the MEC quotient."},
{ BOOLEAN_TYPE, PRISM_INTERVAL_ITER, "Use interval iterations", "4.3.1", false, "",
{ BOOLEAN_TYPE, PRISM_INTERVAL_ITER, "Use interval iteration", "4.3.1", false, "",
"Use interval iteration (from above and below) in iterative numerical methods."}, "Use interval iteration (from above and below) in iterative numerical methods."},
{ STRING_TYPE, PRISM_INTERVAL_ITER_OPTIONS, "Interval iteration options", "4.3.1", "", "", { STRING_TYPE, PRISM_INTERVAL_ITER_OPTIONS, "Interval iteration options", "4.3.1", "", "",
"Interval iteration options, a comma-separated list of the following:\n" + OptionsIntervalIteration.getOptionsDescription() }, "Interval iteration options, a comma-separated list of the following:\n" + OptionsIntervalIteration.getOptionsDescription() },

Write Preview
Loading…
Cancel
Save