• Arthur Remaud's avatar
    autfilt: Better display of cluster when universal edge loops in it · f7bbfd28
    Arthur Remaud authored
    Fixes #208
    
    * NEWS: Informations about the modifications
    * spot/twaalgos/dot.cc (print): Gestion of cluster for
    universal transitions
    * tests/core/alternating.test: tests added
    * tests/core/neverclaimread.test: tests changed for
    new dot format
    * tests/core/readsave.test: tests changed
    * tests/core/sccdot.test: tests changed
    * tests/python/_altscc.ipynb: tests changed
    * tests/python/decompose.ipynb: tests changed
    f7bbfd28
dot.cc 26 KB