• Alexandre Duret-Lutz's avatar
    rename dba_complement() to dtgba_complement() · 7a7ed8a6
    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
dtgbacomp.hh 1.27 KB