Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    acc: introduce acc_cond::name() · bd39edde
    Alexandre Duret-Lutz authored 
    * spot/twa/acc.cc, spot/twa/acc.hh (acc_cond::name): New method.
* spot/twaalgos/dot.cc: Use it.
* tests/python/acc_cond.ipynb: Add a small test.
* NEWS: Mention it.
    bd39edde