Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    contains: generalize second argument to a twa · 288b1c79
    Alexandre Duret-Lutz authored 
    This was triggered by a question from Pierre Ganty on the mailing
list.

* spot/twaalgos/contains.hh, spot/twaalgos/contains.cc (contains):
Generalize second argument to const_twa_ptr instead of
const_twa_graph_ptr.
* NEWS: Mention this.
* tests/python/ltsmin-pml.ipynb: Show that it work.
* THANKS: Mention Pierre.
    288b1c79
To find the state of this project's repository at the time of any of these versions, check out the tags.