• Alexandre Duret-Lutz's avatar
    acc_cond: rename is_tt/is_ff as is_t/is_f and add printer · 94cca9de
    Alexandre Duret-Lutz authored
    * spot/twa/acc.cc, spot/twa/acc.hh: Here.
    * spot/parseaut/parseaut.yy, spot/twa/acc.hh,
    spot/twaalgos/gtec/gtec.cc, spot/twaalgos/hoa.cc,
    spot/twaalgos/neverclaim.cc, spot/twaalgos/product.cc,
    spot/twaalgos/remfin.cc, spot/twaalgos/strength.cc: Adjust.
    * NEWS: Mention the changes.
    * wrap/python/spot_impl.i: Bind acc_cond the printer.
    * wrap/python/tests/acc_cond.ipynb: Add more examples.
    94cca9de
parseaut.yy 53.6 KB