• Damien Lefortier's avatar
    Add a class to represent Transition-based Alternating Automata (TAA). · 20c1f01e
    Damien Lefortier authored
    * misc/Makefile.am, misc/bbop.cc, misc/bddop.hh: Factorize some
    code on BDDs to compute all_acceptance_conditions from
    neg_acceptance_condition.
    * src/tgba/Makefile.am, src/tgbatest/Makefile.am: Adjust.
    * src/tgba/taa.cc, src/tgba/taa.hh: The TAA class.
    * src/tgba/tgbaexplicit.hh: Use the factorized code in bddop.hh.
    * src/tgbatest/taa.cc, src/tgbatest/taa.test: Some test cases.
    20c1f01e
Makefile.am 2 KB