• Alexandre Duret-Lutz's avatar
    Preliminirary support for generic acceptance. · fd1f6c4d
    Alexandre Duret-Lutz authored
    * src/tgba/acc.hh: Add creation and printing of generic acceptance
    code.
    * src/tgba/acc.cc: New file.
    * src/tgba/Makefile.am: Add it.
    * src/tgbatest/acc.cc: More tests.
    * src/tgbatest/acc.test: Update.
    * src/tgba/tgba.hh (set_acceptance, get_acceptance): New methods.
    * src/tgba/tgbagraph.hh: Store acceptance code.
    * src/hoaparse/hoaparse.yy: Read any acceptance.
    * src/dstarparse/nsa2tgba.cc, src/ta/taexplicit.cc,
    src/tgba/tgbaproduct.cc, src/tgba/tgbasafracomplement.cc,
    src/tgbaalgos/degen.cc, src/tgbaalgos/hoa.cc,
    src/tgbaalgos/ltl2taa.cc, src/tgbaalgos/ltl2tgba_fm.cc,
    src/tgbaalgos/product.cc, src/tgbaalgos/stutter.cc,
    src/tgbatest/hoaparse.test: Adjust.
    fd1f6c4d
hoaparse.test 28.7 KB