-
Alexandre Duret-Lutz authored
* src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh: Add a version that builds a BDD. * src/tgbatest/ltl2tgba.cc: Use it.
20c3f9f8
* src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh: Add a version that builds a BDD. * src/tgbatest/ltl2tgba.cc: Use it.