• Alexandre Duret-Lutz's avatar
    Add a visitor to relabel the atomic proposition in formulas. · d9dc1f48
    Alexandre Duret-Lutz authored
    * src/ltlvisit/relabel.cc, src/ltlvisit/relabel.hh: New files.
    * src/ltlvisit/Makefile.am: Add them.
    * src/ltlvisit/clone.cc (recurse): Don't call clone(), nobody
    needs that.  Instead, really recurse.
    * src/bin/ltlfilt.cc: Add a --relabel option.
    * src/bin/genltl.cc: Relabel formulas if --lbt is used.
    * src/sanity/style.test: Tweak detection of i++.
    d9dc1f48
style.test 6.15 KB