Skip to content
  • Damien Lefortier's avatar
    Add a new algorithm (from Tauriainen) to translate LTL formulae to · 627b6677
    Damien Lefortier authored
    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.
    627b6677