alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
1079 commits 6 branches 0 tags 36 MiB
Commit graph

2 commits

Author SHA1 Message Date
Damien Lefortier
9f47dde5a7 Fix make check in sanity. 
* src/tgba/taa.cc, src/tgbaalgos/ltl2taa.cc: Fix style.
 2009-10-17 13:47:59 +02:00
Damien Lefortier
627b667712 Add a new algorithm (from Tauriainen) to translate LTL formulae to 
TGBA which uses TAA as an intermediate representation.  This is a
basic version, optimizations and enhancements will come later.

* src/tgbaalgos/ltl2taa.cc, src/tgbaalgos/ltl2taa.hh: The algortihm.
* src/tgbaalgos/Makefile.am: Adjust.
* src/tgbatest/ltl2tgba: New option: -taa, which uses this new
translation algorithm.
* src/tgbatest/spotlbtt.test: Add ltl2tgba -taa.
 2009-10-16 17:04:47 +02:00