-
Alexandre GBAGUIDI AISSE authored
* spot/twa/acc.hh: Add set_generalized_co_buchi() method. * spot/twa/twa.hh: Add set_generalized_co_buchi() and set_co_buchi() wrappers.
0957317a
* spot/twa/acc.hh: Add set_generalized_co_buchi() method. * spot/twa/twa.hh: Add set_generalized_co_buchi() and set_co_buchi() wrappers.