... | ... | @@ -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**.
|
|
|
|
|
|
1. Read in an HPnG model file in XML format: **read**
|
|
|
* Read in an HPnG model file in XML format: **read**
|
|
|
- Mandatory option **--p** _filepath_: String containing the file path of the xml file.
|
|
|
|
|
|
2. Parse a Model Checking property (without checking) and get an output of the formula tree: **parse**
|
|
|
* 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**
|
... | ... | |