-
Antoine Martin authored
* spot/twaalgos/isdet.cc,spot/twaalgos/isdet.hh: Two new functions to highlight deterministic SCCs * spot/twaalgos/complement.cc,spot/twaalgos/complement.hh: Implementation of the NCSB complementation algorithm * tests/Makefile.am, tests/python/complement_semidet.py: Test the implementation * NEWS: document function
c717b588
To find the state of this project's repository at the time of any of these versions, check out the tags.