• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/simpfg.cc, src/ltlvisit/simpfg.hh: New files, · b42cdc0d
    Alexandre Duret-Lutz authored
    extracted from ...
    * src/ltlvisit/lunabbrev.cc: ... this one, which now work as documented
    * src/ltlvisit/reduce.cc, src/ltlvisit/syntimpl.cc: Adjust to call
    simplify_f_g() in addition to unabbreviate_logic().
    * src/ltlvisit/Makefile.am (ltlvisit_HEADERS, libltlvisit_la_SOURCES):
    Add simpfg.cc and simpfg.hh.
To find the state of this project's repository at the time of any of these versions, check out the tags.