• 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.
NEWS 48.4 KB