Skip to content
  • Thomas Badie's avatar
    Create the iterated simulations. · a0cce105
    Thomas Badie authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/tgbaalgos/simulation.cc: Create the iterated_simulations.
    (direct_simulation) Add an attribute "stat" that represents the
    number of states and transitions of the resulting automaton.
    * src/tgbaalgos/simulation.hh: Declare the iterated_simulations.
    * src/tgbatest/spotlbtt.test: Test the iterated_simulations.
    * src/tgbatest/ltl2tgba.cc: Associate the option -RIS to the
    iterated_simulations.
    a0cce105