List of the Options
List of the major options is as follows.
| Short Option | Long Option | Description |
|---|---|---|
| -i | --input | Specify the input file of the timed word. If this option is not used, the timed word is read from stdin. |
| -f | --automaton | Specify the input file of the timed automaton. Exactly one of this option or the '-e' must be given. |
| -e | --expression | Specify the timed regular expression. Exactly one of this option or the '-f' must be given. |
| -h | --help | Show the help message |
| -q | --quiet | Enable the quiet mode. It suppresses most of the messages. |
| -V | --version | Show the version of the MONAA |
The following table shows the experimental options. In a usual usage, you can ignore them.
| -a | --ascii | Use the ASCII mode [default] |
| -b | --binary | Use the binary mode (experimental) |
| -E | --event | Interpret the input timed word as a sequence of the events [default] |
| -S | --signal | Interpret the input timed word as a signal (experimental) |