-
Alexandre Duret-Lutz authored
* src/tgbaalgos/lbtt.hh, src/tgbaalgos/lbtt.cc (lbtt_parse): New function. * src/tgba/tgbaexplicit.hh (get_acceptance_condition): Make it public. * src/tgbatest/ltl2tgba.cc: Add a -XL option to read LBTT file. * src/tgbatest/lbttparse.test: New file. * src/tgbatest/Makefile.am: Add it.
c55bd831