• Alexandre Duret-Lutz's avatar
    acc: simplify interface using operators · 4993e807
    Alexandre Duret-Lutz authored
    * spot/twa/acc.hh, spot/twa/acc.cc: Here.  Also remove
    some redundant functions.
    * spot/parseaut/parseaut.yy, spot/priv/accmap.hh, spot/tests/acc.cc,
    spot/tests/twagraph.cc, spot/twa/taatgba.hh, spot/twa/twaproduct.cc,
    spot/twaalgos/dtwasat.cc, spot/twaalgos/hoa.cc, spot/twaalgos/lbtt.cc,
    spot/twaalgos/ltl2tgba_fm.cc, spot/twaalgos/product.cc,
    spot/twaalgos/remfin.cc, spot/twaalgos/simulation.cc,
    spot/twaalgos/tau03opt.cc, spot/twaalgos/weight.cc,
    spot/twaalgos/weight.hh: Adjust.
    * NEWS: Mention the changes.
    4993e807
parseaut.yy 53.6 KB