• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.