-
Alexandre Duret-Lutz authored
* src/tgba/futurecondcol.hh, src/tgba/futurecondcol.cc: New files. * src/tgba/Makefile.am: Adjust. * src/tgbatest/ltl2tgba.cc: Add option -FC.
d74578ef
* src/tgba/futurecondcol.hh, src/tgba/futurecondcol.cc: New files. * src/tgba/Makefile.am: Adjust. * src/tgbatest/ltl2tgba.cc: Add option -FC.