• Alexandre Duret-Lutz's avatar
    simulation: Fix co-simulation and iterated simulations of BA automata · 0c7c9338
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/simulation.hh, src/tgbaalgos/simulation.cc
    (simulation_sba, cosimulation_sba, iterated_simulations_sba): New
    function.  Also speedup the existing functions by avoiding
    add_acceptince_conditions() and add_conditions().  Finally, use
    scc_filter_states() when dealing with degeneralized automata.
    * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh (do_ba_simul):
    New method.  Use it after degeneralization.
    * src/tgba/tgbaexplicit.hh (get_transition, get_state): New methods.
    * src/tgbatest/basimul.test: New file.
    * src/tgbatest/Makefile.am (TESTS): Add it.
    * NEWS: Introduce the new function and summarize the bug.
To find the state of this project's repository at the time of any of these versions, check out the tags.