-
Maximilien Colange authored
* spot/twa/twa.cc: is_empty() and accepting_run() now call the new version of the Couvreur algorithm.
114f7f12
To find the state of this project's repository at the time of any of these versions, check out the tags.
* spot/twa/twa.cc: is_empty() and accepting_run() now call the new version of the Couvreur algorithm.