• Alexandre Duret-Lutz's avatar
    * src/ltltest/inf.cc, src/ltltest/inf.test: Rename as ... · 6e3fd873
    Alexandre Duret-Lutz authored
    * src/ltltest/syntimpl.cc, src/ltltest/syntimpl.test: ... these.
    * src/ltltest/Makefile.am: Adjust.
    * src/ltlvisit/forminf.cc: Rename as...
    * src/ltlvisit/syntimpl.cc: ... this.
    * src/ltlvisit/syntimpl.hh: New file with definitions extracted
    from ...
    * src/ltlvisit/reducform.hh: ... this one.
    * src/ltlvisit/Makefile.am, src/ltlvisit/reducform.cc: Adjust.
    6e3fd873