-
Alexandre Duret-Lutz authored
* spot/twaalgos/emptiness.hh, spot/twaalgos/emptiness.cc: Add the method. * tests/python/highlighting.ipynb: Add a small test.
e1465278
* spot/twaalgos/emptiness.hh, spot/twaalgos/emptiness.cc: Add the method. * tests/python/highlighting.ipynb: Add a small test.