• Alexandre Duret-Lutz's avatar
    hoa: rename hoaf_reachable() to hoa_reachable() · f08a26f7
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/hoaf.cc, src/tgbaalgos/hoaf.hh: Rename to...
    * src/tgbaalgos/hoa.cc, src/tgbaalgos/hoa.hh: ... these, and
    fix the function names.
    * src/tgbaalgos/Makefile.am, src/bin/autfilt.cc,
    src/bin/dstar2tgba.cc, src/bin/ltl2tgba.cc, src/tgbatest/ltl2tgba.cc:
    Adjust all calls.
    f08a26f7
Makefile.am 2.74 KB