• Alexandre Duret-Lutz's avatar
    twa: forward num_sets() to acc_. · 6f500f3f
    Alexandre Duret-Lutz authored
    * src/twa/twa.hh (num_sets): New method.  Delegating to acc_.
    * src/twa/twagraph.hh, src/twa/twaproduct.cc, src/twa/twaproxy.cc,
    src/twaalgos/degen.cc, src/twaalgos/dot.cc, src/twaalgos/dtgbacomp.cc,
    src/twaalgos/dtgbasat.cc, src/twaalgos/gv04.cc, src/twaalgos/hoa.cc,
    src/twaalgos/lbtt.cc, src/twaalgos/magic.cc, src/twaalgos/mask.cc,
    src/twaalgos/ndfs_result.hxx, src/twaalgos/postproc.cc,
    src/twaalgos/powerset.cc, src/twaalgos/product.cc,
    src/twaalgos/remfin.cc, src/twaalgos/se05.cc,
    src/twaalgos/simulation.cc, src/twaalgos/stats.cc,
    src/twaalgos/stutter.cc, src/twaalgos/tau03.cc,
    src/twaalgos/tau03opt.cc, src/twaalgos/totgba.cc: Simplify
    acc().num_sets() into num_sets().
    6f500f3f
twaproxy.cc 1.95 KB