alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: ltl3hoa -> ltl3tela

Browse source 
Fixes #296.

* doc/org/ltlcross.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-11-07 17:15:13 +01:00
parent 010b418583
commit b20687630b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/ltlcross.org
View file

@ -168,7 +168,7 @@ tools:
- '~java -jar rabinizer3.1.jar -in=formula -silent -out=std -format=hoa -auto=tr %[MWRei^]f >%O~'
(rabinizer 3.1 can output automata in the HOA format)
- '=ltl3dra -f %s >%O=' (The HOA format is the default for =ltl3dra=.)
- '=ltl3hoa -f %s >%O=' (The HOA format is the default for =ltl3hoa=.)
- '=ltl3tela -f %s >%O=' (The HOA format is the default for =ltl3tela=.)
To simplify the use of some of the above tools, a set of predefined
shorthands are available. Those can be listed with the