-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dbacomp.cc, src/tgbaalgos/dbacomp.hh (dba_complement): Rename to... * src/tgbaalgos/dtgbacomp.cc, src/tgbaalgos/dtgbacomp.hh (dtgba_complement): ... this. * src/tgbaalgos/minimize.cc, src/tgbaalgos/powerset.cc, src/tgbatest/ltl2tgba.cc, src/bin/ltlcross.cc, src/tgbaalgos/Makefile.am: Adjust to name change.
7a7ed8a6