spot/twa/twa.hh · c2257477493dc4c077e00bf8d19752d6ebf31ec8 · Spot / Spot

Nov 13, 2016

twa: introduce intersects() and friends · c2257477

Alexandre Duret-Lutz authored Nov 13, 2016

* spot/twa/twa.hh, spot/twa/twa.cc (intersects, intersecting_run,
intersecting_word): New functions.
* NEWS: Mention them.
* doc/org/tut51.org, tests/python/bugdet.py: Use them.

c2257477

twa: introduce intersects() and friends

Alexandre Duret-Lutz authored Nov 13, 2016

* spot/twa/twa.hh, spot/twa/twa.cc (intersects, intersecting_run,
intersecting_word): New functions.
* NEWS: Mention them.
* doc/org/tut51.org, tests/python/bugdet.py: Use them.