• Thomas Medioni's avatar
    introduce spot::simplify_acceptance() · a12d676b
    Thomas Medioni authored
    Simplify some automata where some marks are identical,
    or complementary to another. Fixes #216.
    
    * NEWS: mention the new function.
    * spot/twaalgos/cleanacc.cc, spot/twaalgos/cleanacc.hh: Implement
      the function.
    * tests/Makefile.am, tests/python/merge.py: Test this implementation.
    a12d676b
cleanacc.hh 1.69 KB