Skip to content
  • 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/, spot/twaalgos/,
      spot/twaalgos/, spot/twaalgos/,
      spot/twaalgos/ Remove now useless tests.
    * spot/twaalgos/ Remove now useless comment.
    * spot/twaalgos/ Never return an automaton with no state.