• Alexandre Duret-Lutz's avatar
    dot: add x option for dot2tex · fbb9e437
    Alexandre Duret-Lutz authored
    * spot/twa/acc.cc, spot/twa/acc.hh: Add a LaTeX output for acceptance
    conditions.
    * spot/twaalgos/dot.cc: Implement the 'x' option and refactor the code
    a bit to limit duplication.
    * tests/core/dot2tex.test: New test case (requires dot2tex).
    * tests/Makefile.am: Add dot2tex.test.
    * tests/core/alternating.test, tests/core/readsave.test,
    tests/python/automata-io.ipynb: Adjust expected output.
    * NEWS, doc/org/oaut.org: Mention the new option.
    fbb9e437
automata-io.ipynb 48.4 KB