List of the Options

List of the major options is as follows.

Short OptionLong OptionDescription
-i--inputSpecify the input file of the timed word. If this option is not used, the timed word is read from stdin.
-f--automatonSpecify the input file of the timed automaton. Exactly one of this option or the '-e' must be given.
-e--expressionSpecify the timed regular expression. Exactly one of this option or the '-f' must be given.
-h--helpShow the help message
-q--quietEnable the quiet mode. It suppresses most of the messages.
-V--versionShow the version of the MONAA

The following table shows the experimental options. In a usual usage, you can ignore them.

-a--asciiUse the ASCII mode [default]
-b--binaryUse the binary mode (experimental)
-E--eventInterpret the input timed word as a sequence of the events [default]
-S--signalInterpret the input timed word as a signal (experimental)