Skip to content
  • Alexandre Duret-Lutz's avatar
    ltl_simplifier: add a boolean_to_isop option and method · c6406995
    Alexandre Duret-Lutz authored
    * src/ltlvisit/simplify.hh (ltl_simplifier_options): add
    a boolean_to_isop option
    (ltl_simplifier::boolean_to_isop): New method.
    * src/ltlvisit/simplify.cc: Implement these.
    * src/bin/ltlfilt.cc: Add a --boolean-to-isop option.
    * src/ltltest/isop.test: New file.
    * src/ltltest/Makefile.am: Add it.
    * NEWS: Mention it.
    c6406995