Skip to content
Find file Blame History Permalink
  • Maximilien Colange's avatar
    Automata with no state are no longer allowed. · b3ee6831
    Maximilien Colange authored 
    * NEWS, spot/twa/twa.hh: Document the change.
* spot/twa/twagraph.hh, spot/kripke/kripkegraph.hh:
  Add an exception in get_init_state_number().
  get_init_state() now calls get_init_state_number().
* spot/twa/twagraph.cc, spot/twaalgos/simulation.cc,
  spot/twaalgos/powerset.cc, spot/twaalgos/complete.cc,
  spot/twaalgos/sccfilter.cc: Remove now useless tests.
* spot/twaalgos/hoa.cc: Remove now useless comment.
* spot/twaalgos/minimize.cc: Never return an automaton with no state.
    b3ee6831
To find the state of this project's repository at the time of any of these versions, check out the tags.