• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/basicreduce.hh: New file, extracted from ... · 47e9ac10
    Alexandre Duret-Lutz authored
    * src/ltlvisit/reducform.hh: ... here.
    * src/ltlvisit/basereduc.cc: Rename as ...
    * src/ltlvisit/basicreduce.cc: ... this, to match the function name.
    * src/ltlvisit/Makefile.am (ltlvisit_HEADERS, libltlvisit_la_SOURCES):
    Adjust filenames.
    * src/ltlvisit/reducform.cc: Adjust includes.
    47e9ac10