Skip to content
  • Alexandre Duret-Lutz's avatar
    Use [*0] instead of #e, and support [*] in addition to *. · 8b8633de
    Alexandre Duret-Lutz authored
    * src/ltlparse/ltlscan.ll: Recognize [*] as *, and use
    [*0] instead of #e for the empty word.
    * src/ltlast/binop.cc, src/ltlast/constant.cc,
    src/ltlast/multop.cc, src/ltlast/multop.hh, src/ltlast/unop.cc,
    src/ltlast/unop.hh, src/ltltest/consterm.test,
    src/ltltest/equals.test: Adjust all occurrences of #e to [*0].
    * src/tgbatest/ltl2tgba.test: Also use [*].
    8b8633de