• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/tunabbrev.cc, src/ltlvisit/tunabbrev.hh: New files. · 080214eb
    Alexandre Duret-Lutz authored
    * src/ltlvisit/Makefile.am (libltlvisit_a_SOURCES): Add them.
    * src/ltltest/tunabbrev.test: New file.
    * src/ltltest/lunabbrev.test: Fix comment.
    * src/ltltest/Makefile.am (TESTS): Add tunabbrev.test.
    (check_PROGRAMS): Add tunabbrev.
    (tunabbrev_SOURCES, tunabbrev_CPPFLAGS): New variables.
    * src/ltltest/equals.cc (main) [TUNABBREV]: Call unabbreviate_ltl.
    * src/ltlvisit/lunabbrev.hh (unabbreviate_logic_visitor::recurse):
    New virtual function.
    * src/ltlvisit/lunabbrev.cc (unabbreviate_logic_visitor::recurse):
    Likewise.
    (unabbreviate_logic_visitor::visit): Use it instead of calling
    unabbreviate_logic directly.
    080214eb