source:
vis_dev/vis-2.3/share/help/ltl2snfCmd.txt
@
28
Last change on this file since 28 was 14, checked in by , 13 years ago | |
---|---|
File size: 437 bytes |
Rev | Line | |
---|---|---|
[14] | 1 | |
2 | ltl2snf - Trnalate LTL formula into Separated Normal Form. | |
3 | _________________________________________________________________ | |
4 | ||
5 | ltl2snf [-h] <file_name> | |
6 | ||
7 | Command options: | |
8 | ||
9 | -f <ltl_file> | |
10 | The input file containing LTL formulae. | |
11 | ||
12 | -n | |
13 | Negate the formulae. | |
14 | ||
15 | -h | |
16 | Print the command usage. | |
17 | _________________________________________________________________ | |
18 | ||
19 | Last updated on 20100410 00h02 |
Note: See TracBrowser
for help on using the repository browser.