-
Alexandre Duret-Lutz authored
* spot/twa/twagraph.hh (twa_graph::edge_number): New method. * spot/twaalgos/copy.cc: Copy the highlights if requested. * tests/python/highlighting.ipynb: More tests.
69b687ab
* spot/twa/twagraph.hh (twa_graph::edge_number): New method. * spot/twaalgos/copy.cc: Copy the highlights if requested. * tests/python/highlighting.ipynb: More tests.