This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
2016-08-14 16:31:23 +02:00
|
|
|
# Command-Line Interface
|
|
|
|
|
|
|
|
```bash
|
2016-11-29 02:01:23 +01:00
|
|
|
$ plasp [options] file...
|
2016-08-14 16:31:23 +02:00
|
|
|
```
|
|
|
|
|
2016-08-14 16:34:39 +02:00
|
|
|
`plasp` automatically detects the language of the input files.
|
2016-08-14 16:35:38 +02:00
|
|
|
|
2016-08-14 16:34:39 +02:00
|
|
|
Multiple files may be provided in an arbitrary order.
|
2016-11-29 02:01:23 +01:00
|
|
|
The `file...` arguments may also be omitted, in which case the input is read from `std::cin`.
|
2016-08-14 16:34:39 +02:00
|
|
|
|
2016-08-14 16:35:38 +02:00
|
|
|
`plasp` supports the following options:
|
2016-08-14 16:31:23 +02:00
|
|
|
|
2016-11-29 02:01:23 +01:00
|
|
|
| **option** | **explanation** |
|
|
|
|
|------------|-----------------|
|
|
|
|
| `-l` [ `--language` ] arg (=`auto`) | Input language (`pddl`, `sas`, `auto`) |
|
|
|
|
| `--warning-level` arg (=`show`) | Show warnings (`show`), treat them as errors (`error`), or ignore them (`ignore`) |
|
|
|
|
| `--color` arg (=`auto`) | Colorize output (`always`, `never`, `auto`) |
|