Skip to content
  • Alexandre Duret-Lutz's avatar
    Merge the syntactic implication code with ltl_simplifier. · fea49630
    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