• Alexandre Duret-Lutz's avatar
    Add a parser for automata in LBTT's format. · c55bd831
    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
lbtt.hh 2.03 KB