• Thomas Medioni's avatar
    mark_t: sets() no longer returns a vector · cc3bdfcd
    Thomas Medioni authored
    spot::mark_t::sets() was modified so that it now returns an iterable
    object rather than an std::vector<unsigned>.
    * NEWS: Mention the modification.
    * python/spot/impl.i: Declares mark_container as iterable to SWIG.
    * spot/parseaut/parseaut.yy: Adapts to the modification.
    * spot/twa/acc.hh: Implement the modification.
    * tests/python/acc_cond.ipynb: Adapts to the modification.
parseaut.yy 65.8 KB