Skip to content
  • Alexandre Duret-Lutz's avatar
    Introduce [=min..max] operator. · 8d4a413a
    Alexandre Duret-Lutz authored
    * src/ltlast/bunop.hh: Declare bunop::Equal
    * 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::Equal in
    the translation.
    * src/ltltest/equals.test: Test trivial identities
    for [=min..max].
    * src/tgbatest/ltl2tgba.test: Add new formulae to test.
    8d4a413a