• Alexandre Duret-Lutz's avatar
    twa_graph: add basic support for alternation · 6aad559c
    Alexandre Duret-Lutz authored
    This only allows creating universal edges, and reading the associated
    destinations.
    
    * spot/twa/twagraph.hh (new_univ_edges, univ_dests, is_alternating): New
    function.
    * python/spot/impl.i: Add Python bindings.
    * tests/python/alternating.py: New file.
    * tests/Makefile.am: Add it.
    6aad559c
alternating.py 1.49 KB