• Clément Gillard's avatar
    genem: Implement accepting cycle search · 51ca5ecd
    Clément Gillard authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    Implement an accepting run search in spot::sccinfo, use it with the
    generic emptiness check.
    
    * spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh: Here.
    * spot/twaalgos/genem.cc, spot/twaalgos/genem.hh: Use it.
    * tests/python/genem.py: Test it.
    51ca5ecd
genem.hh 1.57 KB