Skip to content
  • Alexandre Duret-Lutz's avatar
    minimize_dfa: use the twa_graph interface · 172bee49
    Alexandre Duret-Lutz authored
    Fixes #233, although more cleanup would be welcome.
    
    * spot/twaalgos/minimize.cc: Replace the uses of twa methods by
    twa_graph methods, and simplify some data structures.
    * tests/core/acc_word.test, tests/core/readsave.test,
    tests/python/automata.ipynb: Adjust changed output due
    to different data structures.
    172bee49