Skip to content
  • Thomas Badie's avatar
    Add the "don't care" simulation · 08c77318
    Thomas Badie authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/tgba/, src/tgba/bddprint.hh: Add bdd_print_isop
    that prints the bdd into a Irreductible Sum Of Product.
    * src/tgbaalgos/, src/tgbaalgos/dupexp.hh: Add a way to
    know which states (in the input) is which (in the result).
    * src/tgbaalgos/, src/tgbaalgos/simulation.hh: Add
    the Don't Care Simulation and the Don't Care Iterated Simulation.
    * src/tgbatest/, src/tgbatest/spotlbtt.test,
    src/tgbatest/, src/tgbatest/sim.test: Test them.
    * bench/ltl2tgba/algorithms, bench/ltl2tgba/README,
    bench/ltl2tgba/algorithms: Add a way to bench the don't care