• Thomas Badie's avatar
    Create the cosimulation. · 387bace9
    Thomas Badie authored
    * src/tgbaalgos/simulation.cc: Add the cosimulation:
    (acc_compl_automaton) Add a template parameter.
    (acc_compl_automaton::process_link) Add a swap source destination.
    (direct_simulation) Add a template parameter.
    (direct_simulation::compute_sig) Add a flag in the signature to
    know if the state is initial.
    (direct_simulation::build_result) Remove the flag before reading
    the signature.
    Swap source and destination when building the new automaton.
    * src/tgbaalgos/simulation.hh: Declare and document the
    Cosimulation.
    * src/tgbatest/ltl2tgba.cc: Associate the cosimulation with the -RRS
    option.
    * src/tgbatest/spotlbtt.test: Add a test on the cosimulation.
    387bace9
simulation.cc 21.9 KB