Skip to content
  • Alexandre Duret-Lutz's avatar
    remove wdbacomp.cc and wdbacomp.hh · 359e0c6f
    Alexandre Duret-Lutz authored
    The weak complementation is now implemented by dtgba_complement(), with
    dispatch based on the automaton property.
    
    * src/tgba/wdbacomp.cc, src/tgba/wdbacomp.hh: Remove.
    * src/tgba/Makefile.am: Adjust.
    * src/tgbaalgos/dtgbacomp.cc: Implement the weak version.
    * src/tgbaalgos/dtgbacomp.hh: Document it.
    * src/tgbaalgos/minimize.cc: Use dtgba_complement() instead.
    359e0c6f