Skip to content
  • Alexandre Duret-Lutz's avatar
    Inf(i)|Inf(j) -> Inf(k) and Fin(i)&Fin(j) -> Fin(k) · 50c0f880
    Alexandre Duret-Lutz authored
    Implement those rules in simplify_acceptance_here().
    
    * NEWS: Mention the change.
    * spot/twa/acc.cc,
    spot/twa/acc.hh (acc_cond::acc_code::used_once_sets): New method.
    * spot/twaalgos/cleanacc.cc, spot/twaalgos/cleanacc.hh:
    Implement the above rule.
    * tests/core/remfin.test: Adjust expected results.
    * tests/python/simplacc.py: New file.
    * tests/Makefile.am: Add it.
    50c0f880