• Alexandre Duret-Lutz's avatar
    * src/tgbatest/ltl2tgba.cc: Simplify using · 3b3a1965
    Alexandre Duret-Lutz authored
    emptiness_check_instantiator.
    * src/tgba/tgba.cc, src/tgba/tgba.hh
    (tgba::number_of_acceptance_conditions): Return an unsigned.
    * bench/emptchk/algorithms, bench/emptchk/README,
    src/tgbatest/emptchk.test, src/tgbatest/emptchke.test: Adjust
    references to algorithms.
    * bench/emptchk/pml-clserv.sh, bench/emptchk/pml-eeaean.sh: Quote
    variables properly.
    3b3a1965
tgba.hh 9.54 KB