• Alexandre Duret-Lutz's avatar
    Back out all Thomas's changes on emptiness checks since · ed6db926
    Alexandre Duret-Lutz authored
    2004-08-23.  Some of these will need to be reintegrated more
    slowly and cleanly.
    
    * src/tgbaalgos/Makefile.am, src/tgbaalgos/gtec/ce.cc,
    src/tgbaalgos/gtec/ce.hh, src/tgbatest/Makefile.am,
    src/tgbatest/emptchk.test, src/tgbatest/ltl2tgba.cc: Revert.
    * src/tgbaalgos/colordfs.cc, src/tgbaalgos/colordfs.hh,
    src/tgbaalgos/minimalce.cc, src/tgbaalgos/minimalce.hh,
    src/tgbaalgos/nesteddfs.cc, src/tgbaalgos/nesteddfs.hh,
    src/tgbaalgos/nesteddfsgen.cc, src/tgbaalgos/nesteddfsgen.hh,
    src/tgbaalgos/tarjan_on_fly.cc, src/tgbaalgos/tarjan_on_fly.hh:
    Delete.
    ed6db926
Makefile.am 1.58 KB