• Alexandre Duret-Lutz's avatar
    relabel: implement relabeling of Boolean subexpressions. · 87b65b9b
    Alexandre Duret-Lutz authored
    * src/ltlast/multop.cc, src/ltlast/multop.hh (multop::boolean_operands,
    multop::boolean_count): New methods.
    * src/ltlvisit/relabel.cc, src/ltlvisit/relabel.hh
    (relabel): Take an optional relabeling_map as parameter.
    (relabel_bse): New.
    * src/ltltest/ltlrel.test, src/ltltest/ltlrel.cc: New files.
    * src/ltltest/Makefile.am: Add them.
    * src/bin/ltlfilt.cc: Add option --relabel-bool.
    * src/ltltest/ltlfilt.test: Test it.
    * NEWS: Mention it.
    * doc/org/ltlfilt.org: Illustrate it.
    87b65b9b
ltlfilt.org 14.7 KB