1LTL2BA(1)                        User Commands                       LTL2BA(1)
2
3
4

NAME

6       ltl2ba - manual page for ltl2ba 1.3
7

DESCRIPTION

9       usage: ltl2ba [-flag] -f 'formula'
10
11              or -F file
12
13       -f 'formula'
14              translate LTL into never claim
15
16       -F file
17              like -f, but with the LTL formula stored in a 1-line file
18
19       -d     display automata (D)escription at each step
20
21       -s     computing time and automata sizes (S)tatistics
22
23       -l     disable (L)ogic formula simplification
24
25       -p     disable a-(P)osteriori simplification
26
27       -o     disable (O)n-the-fly simplification
28
29       -c     disable strongly (C)onnected components simplification
30
31       -a     disable trick in (A)ccepting conditions
32
33
34
35ltl2ba 1.3                         July 2021                         LTL2BA(1)
Impressum