... | ... | @@ -2,10 +2,10 @@ The following commands can are provided by the shell application in the _Main.ja |
|
|
|
|
|
Within the tool, an overview of all commands can be requested with the command **help**.
|
|
|
|
|
|
* Read in an HPnG model file in XML format: **read**
|
|
|
1. Read in an HPnG model file in XML format: **read**
|
|
|
- Mandatory option **--p** _filepath_: String containing the file path of the xml file.
|
|
|
|
|
|
* Parse a Model Checking property (without checking) and get an output of the formula tree: **parse**
|
|
|
2. Parse a Model Checking property (without checking) and get an output of the formula tree: **parse**
|
|
|
- No option is required. The property has to be entered after returning the shell option.
|
|
|
|
|
|
3. Model check a property by simulating the HPnG model: **check**
|
... | ... | @@ -20,8 +20,7 @@ Within the tool, an overview of all commands can be requested with the command * |
|
|
- Mandatory option **--n** _path_: String containing the new file path for the log file.
|
|
|
|
|
|
6. Change a simulation parameter: **change _parametername_**
|
|
|
- _parametername_ can be:
|
|
|
* * * * halfintervalwidth *
|
|
|
- _parametername_ can be: * halfintervalwidth *
|
|
|
* halfwidthindifferenceregion *
|
|
|
|
|
|
|
... | ... | |