Skip to content
Find file Blame History Permalink
  • Thomas Medioni's avatar
    streett_like: clear the pair vector when non Streett-like · fc609057
    Thomas Medioni authored 
    When an acceptance condition is not Streett-like, is_streett_like
now clears the rs_pair vector parameter before returning. Fixes #270.

* spot/twa/acc.cc: Clear the pair vector.
* spot/twaalgos/totgba.cc: Stop calling streett_to_generalized_buchi()
  when the acceptance condition is not Streett-like.
    fc609057