-
Alexandre Duret-Lutz authored
* src/ltlvisit/exclusive.cc, src/ltlvisit/exclusive.hh: Implement constrain() for automata. * src/bin/autfilt.cc: Add --exclusive-ap option. * src/tgba/bdddict.cc, src/tgba/bdddict.hh: Add a has_registered_proposition() method. * src/tgbatest/exclusive.test: New file. * src/tgbatest/Makefile.am: Add it.
fb7b7a94