• Alexandre Duret-Lutz's avatar
    Introduce EConcatMarked "<>+>" as operator. · 171ca678
    Alexandre Duret-Lutz authored
    * src/ltlast/binop.cc, src/ltlast/binop.hh: Introduce
    EConcatMarked ("<>+>").
    * src/ltlvisit/basicreduce.cc, src/ltlvisit/consterm.cc,
    src/ltlvisit/lunabbrev.cc, src/ltlvisit/nenoform.cc,
    src/ltlvisit/reduce.cc, src/ltlvisit/simpfg.cc,
    src/ltlvisit/syntimpl.cc, src/ltlvisit/tostring.cc,
    src/tgbaalgos/ltl2taa.cc, src/tgbaalgos/eltl2tgba_lacim.cc,
    src/tgbaalgos/ltl2tgba_lacim.cc, src/tgba/formula2bdd.cc,
    src/tgba/formula2bdd.cc: Deal with it if possible or ignore
    it.
    171ca678