• 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
Name
Last commit
Last update
..
.gitignore Loading commit data...
Makefile.am Loading commit data...
acc.cc Loading commit data...
acc.hh Loading commit data...
bdddict.cc Loading commit data...
bdddict.hh Loading commit data...
bddprint.cc Loading commit data...
bddprint.hh Loading commit data...
formula2bdd.cc Loading commit data...
formula2bdd.hh Loading commit data...
fwd.hh Loading commit data...
taatgba.cc Loading commit data...
taatgba.hh Loading commit data...
twa.cc Loading commit data...
twa.hh Loading commit data...
twagraph.cc Loading commit data...
twagraph.hh Loading commit data...
twaproduct.cc Loading commit data...
twaproduct.hh Loading commit data...