Skip to content
Blame Permalink
  • Maximilien Colange's avatar
    1a08eca8
    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
    Add a new, parameterized, version of the Couvreur emptiness check.
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.