Skip to content
  • Alexandre Duret-Lutz's avatar
    Introduce [->min..max] operator. · da74b4f1
    Alexandre Duret-Lutz authored
    * src/ltlast/bunop.hh: Declare bunop::Goto
    * src/ltlast/bunop.cc: Handle it.
    * src/ltlparse/ltlparse.yy,
    src/ltlparse/ltlscan.ll: Add rules for [->min..max].
    * src/tgbaalgos/ltl2tgba_fm.cc: Handle bunop::Goto in
    the translation.
    * src/ltltest/equals.test: Test trivial identities.
    * src/tgbatest/ltl2tgba.test: Test two more formulae using [->].
    da74b4f1