-
Alexandre Duret-Lutz authored
So that we can latter use some combined optimizations. * src/ltlvisit/simplify.hh, src/ltlvisit/simplify.cc: Integrate the code from syntimpl.cc * src/ltlvisit/syntimpl.hh, src/ltlvisit/syntimpl.cc: Delete. All code has been moved above. * src/ltlvisit/Makefile.am: Adjust. * src/ltltest/syntimpl.cc: Adjust code.
fea49630