Skip to content
  • Alexandre Duret-Lutz's avatar
    complement: add a complement() function · 948f99bc
    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