• Alexandre Duret-Lutz's avatar
    autfilt: add a --exclusive-ap option · fb7b7a94
    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