Skip to content
  • Alexandre Duret-Lutz's avatar
    python: highlighting functions for edges and states · 23c2cbf4
    Alexandre Duret-Lutz authored
    * python/spot/impl.i (highlight_state, highlight_edge): New function.
    * python/spot/__init__.py (highlight_states, highlight_edges): New
    functions.
    * spot/twaalgos/dot.cc: Add a '#' option.
    * spot/taalgos/dot.cc: Ignore '#'.
    * tests/python/highlighting.ipynb: New file to illustrate everything.
    * tests/Makefile.am, doc/org/tut.org: Add it.
    23c2cbf4