• Guillaume Sadegh's avatar
    Rename the class taa as taa_tgba. · f00aa49d
    Guillaume Sadegh authored
    * src/tgba/taa.cc, src/tgba/taa.hh: Rename as ...
    * src/tgba/taatgba.cc, src/tgba/taatgba.hh: ... these, and
    rename the class taa as taa_tgba.
    * src/tgbaalgos/ltl2taa.cc, src/tgbaalgos/ltl2taa.hh,
    src/tgbaalgos/Makefile.am: Adjust.
    * src/tgbatest/ltl2tgba.cc, src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/taa.test: Rename as ...
    * src/tgbatest/taatgba.test ... this.
    * src/tgbatest/taa.cc: Rename as ...
    * src/tgbatest/taatgba.cc ... this, and adjust.
    f00aa49d
Makefile.am 2.01 KB