Updated Shell commands (markdown) authored by Dr. Carina da Silva's avatar Dr. Carina da Silva
......@@ -21,32 +21,43 @@ Within the tool, an overview of all commands can be requested with the command *
6. Change a simulation parameter: **change _parametername_**
- _parametername_ can be:
+ **halfintervalwidth**: half width of the confidence interval
+ **halfwidthindifferenceregion**: half width of the indifference region (hypothesis test)
+ **confidencelevel**: confidence level of confidence interval
+ **type1error**: type-1-error of the hypothesis test
+ **type2error**: type-2-error of the hypothesis test
+ **correctness indifference level**: correctness indifference level required for the hypothesis tests Gauss-SSP and SPRT
+ **fixedruns**: number of runs for simulation (used if set to fixed number)
+ **guess**: guess paremeter required for hypothesis tests Azuma and Darling
+ **halfintervawidth**: half width of the confidence interval
+ **logfile**: path of the log file
+ **minruns**: minimum number of runs
+ **maxruns**: maximum number of runs
+ **numberofcalculations**: number of calculations of confidence intervals
+ **correctness indifference level**: power indifference level required for the hypothesis tests Gauss-CI, Chernoff CI and Chow-Robbins
+ **testruns**: number of hypothesis test runs
+ **type1Error**: type-1-error of the hypothesis test
+ **type2Error**: type-2-error of the hypothesis test
- Mandatory option: **--n** _newvalue_: Number or decimal with the new parameter value.
7. Set simulation to fixed number of runs: **set fixedruns**
7. Set algorithm used for hypothesis testing: **set hypothesis algorithm**
- Mandatory option: algorithm abbreviation: GSSP, SPR, GCI, CCI, CR, Azuma, Darling
8. Set confidence interval approach: **set interval type**
- Mandatory option: approach abbreviation: Standard, Wald, CP, Score, adjWald
9. Set simulation to fixed number of runs: **set fixedruns**
- No option is required.
8. Set simulation to optimal number of runs (defined by given parameters): **set optimalruns**
10. Set simulation to optimal number of runs (defined by given parameters): **set optimalruns**
- No option is required.
9. Enable / Disable printing the results of single simulation runs: **printresults on/off**
11. Enable / Disable printing the results of single simulation runs: **printresults on/off**
- No option is required.
10. Print all simulation parameters and settings: **printparameters**
12. Print all simulation parameters and settings: **printparameters**
- No option is required.
11. Store parameters and settings into the configuration file: **storeparameters**
13. Store parameters and settings into the configuration file: **storeparameters**
- No option is required.
12. Load parameters and settings from configuration file: **loadparameters**
14. Load parameters and settings from configuration file: **loadparameters**
- No option is required.
You can find a description for the [required model file](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and the syntax of the [Model Checking properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this section.
\ No newline at end of file