Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    zlktree: use a cache in the construction of zielonka_tree · b1120844
    Alexandre Duret-Lutz authored 
    This largely speeds up the computation for conditions
like "Rabin n" sharing a lot of subtrees.

Also implement options to stop the construction if the shape is wrong.

* spot/twaalgos/zlktree.cc, spot/twaalgos/zlktree.hh: Implement the
cache and the options.
* tests/python/zlktree.ipynb, tests/python/zlktree.py: New tests.
    b1120844
To find the state of this project's repository at the time of any of these versions, check out the tags.