• Alexandre Duret-Lutz's avatar
    python: better bindings for testing automata · 16204e8e
    Alexandre Duret-Lutz authored
    * src/taalgos/dotty.cc, src/taalgos/dotty.hh: Add an interface
    similar to that of tgba/dotty.hh, even if we have to ignore
    most options.
    * src/taalgos/tgba2ta.cc, src/taalgos/tgba2ta.hh: Add an option
    to display the intermediate automaton with explicit stuttering
    transitions, for the purpose of making demonstrations.
    * src/tgba/tgbagraph.hh: Tweak the file so that SWIG can
    read it.
    * wrap/python/spot.py: Add wrappers for testing automata.
    * wrap/python/spot_impl.i: Fix support for
    atomic_prop_collect_as_bdd, and include a few more files.
    * wrap/python/tests/testingaut.ipynb: New file.
    * wrap/python/tests/Makefile.am: Add it.
dotty.hh 1011 Bytes