-
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