• Antoine Martin's avatar
    implement NCSB complementation · c717b588
    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
Makefile.am 12.2 KB