Skip to content
  • Alexandre Duret-Lutz's avatar
    acc_cond: get rid of generalized_buchi() · fbf5ac0e
    Alexandre Duret-Lutz authored
    It is already in acc_cond::acc_code::generalized_buchi() along with all
    other acceptance condition constructors.
    
    * spot/twa/acc.hh (acc_cond::generalized_buchi): Remove.
    * spot/tests/ikwiad.cc, spot/twaalgos/postproc.cc: Adjust.
    fbf5ac0e