-
Alexandre Duret-Lutz authored
(emptiness_check::tgba_emptiness_check, emptiness_check::accepting_path): Simplify BDD operations.
3784895e
To find the state of this project's repository at the time of any of these versions, check out the tags.
(emptiness_check::tgba_emptiness_check, emptiness_check::accepting_path): Simplify BDD operations.