• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/tostring.hh (to_spin_string): New function. · 8d8af2e5
    Alexandre Duret-Lutz authored
    Convert a formula into a string parsable by Spin.
    * src/tgbaalgos/neverclaim.hh, src/tgbaalgos/neverclaim.cc: New files.
    Print the never claim in Spin format of a degeneralized TGBA.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgbatest/ltl2tgba.cc: Add the option -N which outputs the
    never claim in Spin format of a degeneralized TGBA.
    * src/tgbatest/ltl2neverclaim.test: New file.
    * src/tgbatest/Makefile.am: Add it.
    8d8af2e5
Makefile.am 1.51 KB