-
Alexandre Duret-Lutz authored
* src/ltlvisit/simplify.cc, src/ltlvisit/simplify.hh: Add a implication() option. * src/bin/ltlfilt.cc: Add options --implied-by, --imply, and --equivalent-to.
24a8c031
* src/ltlvisit/simplify.cc, src/ltlvisit/simplify.hh: Add a implication() option. * src/bin/ltlfilt.cc: Add options --implied-by, --imply, and --equivalent-to.