-
Alexandre Duret-Lutz authored
* spot/twa/twa.cc (accepting_word, intersecting_run, intersecting_word): Refactor. * tests/python/contains.ipynb: Adjust.
84fa824f
* spot/twa/twa.cc (accepting_word, intersecting_run, intersecting_word): Refactor. * tests/python/contains.ipynb: Adjust.