• Maximilien Colange's avatar
    Add a new, parameterized, version of the Couvreur emptiness check. · 1a08eca8
    Maximilien Colange authored
    This version has optimization for explicit twa, and also for weak and
    terminal (depending on whether an accepting run is requested) automata.
    
    * spot/twaalgos/couvreurnew.hh, spot/twaalgos/couvreurnew.cc,
      spot/twaalgos/Makefile.am: New files for the new algorithm.
    * spot/twaalgos/emptiness.cc, tests/core/randtgba.cc:
      Register new algorithm.
    1a08eca8
couvreurnew.cc 25.4 KB