Skip to content
  • Alexandre Duret-Lutz's avatar
    add support for the "terminal" property · 0c5f87b4
    Alexandre Duret-Lutz authored
    * src/twa/twa.hh: Store the terminal property.
    * src/twaalgos/hoa.cc, src/parseaut/parseaut.yy: Add I/O for "terminal".
    * src/twaalgos/ltl2tgba_fm.cc, src/twaalgos/minimize.cc: Set terminal
    as apropriate.
    * src/twaalgos/safety.cc: Use it.
    * doc/org/tut21.org, doc/org/hoa.org, NEWS: Document it.
    * src/tests/complement.test, src/tests/monitor.test,
    wrap/python/tests/automata-io.ipynb: Adjust.
    0c5f87b4