Skip to content
  • Maximilien Colange's avatar
    Simulation keeps track of simulated states in the input automaton. · 7b5ab545
    Maximilien Colange authored
    * NEWS: Document the change.
    * spot/twaalgos/simulation.cc: Implement the change.
    * spot/twa/twagraph.cc: `copy_state_names_from` uses simulated states
      info if present.
    * spot/twaalgos/determinize.cc: Pretty-print in determinization follows
      simulated states, avoiding possible confusion.
    * tests/Makefile.am, tests/python/simstate.py: Add a test.
    7b5ab545