Skip to content
  • Alexandre Duret-Lutz's avatar
    rename cleanup_acceptance() as cleanup_acceptance_here() · df981a06
    Alexandre Duret-Lutz authored
    And add a cleanup_acceptance() version that copies.
    
    * src/tgbaalgos/cleanacc.cc, src/tgbaalgos/cleanacc.hh: Rename
    and add the second version.
    * src/bin/autfilt.cc, src/bin/ltlcross.cc,
    src/tgbaalgos/dtgbacomp.cc, src/tgbaalgos/remfin.cc: Use
    cleanup_acceptance_here.
    df981a06