• Alexandre Duret-Lutz's avatar
    genem: implement a generic emptiness check for twa_graph_ptr · d708174c
    Alexandre Duret-Lutz authored
    * spot/twa/acc.cc, spot/twa/acc.hh (fin_unit, one_fin): New function.
    * spot/twaalgos/genem.cc, spot/twaalgos/genem.hh: New files.
    * spot/twaalgos/Makefile.am: Add it.
    * tests/python/genem.py: New file.
    * tests/Makefile.am: Add it.
    * python/spot/impl.i: Add bindings for genem.hh.
    * NEWS: Mention the new function.
    d708174c
Makefile.am 12.2 KB