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) |