-
Alexandre Duret-Lutz authored
* spot/twaalgos/complement.cc, spot/twaalgos/complement.hh (complement): New function. * bin/autfilt.cc, spot/twa/twa.cc, spot/twaalgos/contains.cc, spot/twaalgos/powerset.cc, spot/twaalgos/stutter.cc: Use it. * tests/core/complement.test: Adjust. * NEWS: Mention it.
948f99bc